@@ -1,36 +1,22 @@
1−`:- colhep`
2−===========
1+# `:cons`, `:-`, "colhep", `{$cons p/twig q/twig}`
32
43Tuple of two.
54
6−Produces
7−--------
5+Produces: a cell of `p` and `q`.
86
9−Twig: `[%clhp p=twig q=twig]`
7+Regular form: *2-fixed*
108
11−Accepts
12−-------
9+Irregular forms:
1310
14−`p` is a [++twig](). `q` is a twig.
11+```
12+[a b] :-(a b)
13+1^2^3 [1 2 3]
14+a+1 [%a 1]
15+`1 [~ 1]
16+[1 2]~ [[1 2] ~]
17+```
1518
16−Tall form
17−---------
18−
19− :- p
20− q
21−
22−Wide form
23−---------
24−
25− :-(p q)
26−
27−Irregular form
28−--------------
29−
30− [p q]
31−
32−Examples
33−--------
19+Examples:
3420
3521 ~zod/try=> :-(1 2)
3622 [1 2]
@@ -66,7 +52,7 @@ Some obscure `:-` irregular forms
6652 ~zod/main=/app> a/'twig'
6753 [%a 'twig']
6854
69−Like `^`, but first item must be a [`++term`](), and is [cube]()d. Used to construct [`path`]()s and [frond]().
55+Like `^`, but first item must be a `++term`, and is cubed. Used to construct `path`s and frond.
7056
7157### Prefix `` ` ``, postfix `~`
7258
@@ -75,5 +61,5 @@ Like `^`, but first item must be a [`++term`](), and is [cube]()d. Used to const
7561 ~zod/main=/app> [42 30]~
7662 [[42 30] ~]
7763
78−Complimenting each other, these construct pairs with `~` in the [head]() and
79−[`tail`]() respectively. Multiple postfix `~` do not work for unknown reasons.
64+Complimenting each other, these construct pairs with `~` in the head and
65+`tail` respectively. Multiple postfix `~` do not work for unknown reasons.