| -rw-r--r-- | .gitignore | 11L |
| -rw-r--r-- | coding/.gitignore | 2L |
| -rw-r--r-- | coding/NOTES.md | 46L |
| -rw-r--r-- | coding/assoc.c | 105L |
| -rw-r--r-- | coding/assoc.h | 14L |
| -rw-r--r-- | coding/assoc.test.c | 90L |
| -rw-r--r-- | coding/clean.do | 1L |
| -rw-r--r-- | coding/default.o.do | 4L |
| -rw-r--r-- | coding/default.test.do | 6L |
| -rw-r--r-- | coding/default.test.o.do | 9L |
| -rw-r--r-- | coding/gardener.c | 227L |
| -rw-r--r-- | coding/gardener.h | 31L |
| -rw-r--r-- | coding/gardener.test.c | 204L |
| -rw-r--r-- | coding/interpreter.c | 30L |
| -rw-r--r-- | coding/interpreter.do | 5L |
| -rw-r--r-- | coding/model.c | 64L |
| -rw-r--r-- | coding/model.h | 11L |
| -rw-r--r-- | coding/model.test.c | 141L |
| -rw-r--r-- | coding/schema.c | 166L |
| -rw-r--r-- | coding/schema.h | 33L |
| -rw-r--r-- | coding/schema.test.c | 75L |
| -rw-r--r-- | coding/stack.c | 50L |
| -rw-r--r-- | coding/stack.h | 10L |
| -rw-r--r-- | coding/stack.test.c | 28L |
| -rw-r--r-- | coding/symbol.c | 47L |
| -rw-r--r-- | coding/symbol.h | 11L |
| -rw-r--r-- | coding/symbol.test.c | 52L |
| -rw-r--r-- | coding/test.do | 9L |
| -rw-r--r-- | coding/test.zen | 64L |
| -rw-r--r-- | coding/tokenizer.c | 64L |
| -rw-r--r-- | coding/tokenizer.h | 10L |
| -rw-r--r-- | coding/tokenizer.test.c | 26L |
| -rw-r--r-- | coding/tree.c | 80L |
| -rw-r--r-- | coding/tree.h | 17L |
| -rw-r--r-- | coding/tree.test.c | 24L |
| -rw-r--r-- | coding/zen.c | 254L |
| -rw-r--r-- | coding/zen.h | 16L |
| -rw-r--r-- | coding/zen.test.c | 131L |
| -rw-r--r-- | writing/2023-05-30-tentative-syntax.ebnf | 6L |
| -rw-r--r-- | writing/all.do | 2L |
| -rw-r--r-- | writing/default.pdf.do | 5L |
| -rw-r--r-- | writing/journal/2023-11-22-declare-prove-use.lua | 175L |
| -rw-r--r-- | writing/journal/2023-11-22-declare-prove-use.tex | 200L |
| -rw-r--r-- | writing/journal/2023-11-29-unification.tex | 65L |
| -rw-r--r-- | writing/main.tex | 149L |
| -rwxr-xr-x | writing/manage | 12L |
| -rw-r--r-- | writing/notes/2jd6ltd1j0k0.md | 1L |
| -rw-r--r-- | writing/simple-case.lisp | 35L |
