tagging page examples

2 files changed, 61 insertions, 3 deletions

diff --git a/docs/syntax.md b/docs/syntax.md
index 0868143..dd468ed 100644
--- a/docs/syntax.md
+++ b/docs/syntax.md
@@ -82,9 +82,9 @@
 @.tag condition {[arguments] statements }
 ```
 
-#### ``break.tag
+#### ``break
 
-#### ``continue.tag
+#### ``continue
 
 ### Match `#`
 
@@ -98,7 +98,7 @@
 
 ## Coroutines ``{[] ... }`
 
-### ``return.tag
+### ``return
 
 ### ``sync
 
diff --git a/docs/tagging.md b/docs/tagging.md
index e2bcf69..a469543 100644
--- a/docs/tagging.md
+++ b/docs/tagging.md
@@ -6,16 +6,74 @@
 
 ### Matching
 
+```text
+r : # x / y {
+    .value {[value] value }
+    .error {[error] `log error; 0 }
+}
+```
+
 ### Asserting
 
+If no tag is specified for an operation, `.value` is used
+
+An invalid assertion produces an `Error`
+
+```text
+r : x /.value y
+r : x / y // same as above
+```
+
 ## Coroutines
 
+If no tag is specified `.value` is used, user defined coroutines don't have to have a `.value` tag
+
 ### Returning
 
+```text
+co : `{[I64 x; I64 y] `return.value x + y }
+co : `{[I64 x; I64 y] .value x + y } // same as above
+co : `{[I64 x; I64 y] x + y } // same as above
+mu : `{[Bool i]
+    ? i {
+        .int 1
+    } {
+        .float 1.1
+    }
+}
+```
+
+### Matching
+
+```text
+// using the mu corotuine from above
+i : # mu `sync `false {
+    .int {[i] i }
+    .float {[f] I64 f }
+}
+```
+
+### Asserting
+
+```text
+// using the mu coroutine from aboce
+i : mu `sync.int `true
+```
+
 ## Tables
 
+### Creating
+
+```text
+table : Table (.a 1; .b 1.1)
+```
+
 ### Accessing
 
+```text
+`log table.a
+```
+
 ## Loops
 
 ### Break