| 2024-05-09 13:47 | Add a syntax test | Juan F. Meleiro | 2 | +69 | -5 |
| 2024-05-09 13:18 | Finish implementing zen commands | Juan F. Meleiro | 6 | +181 | -36 |
| 2024-05-09 10:57 | Add a partial implementation of a language for commanding gardeners | Juan F. Meleiro | 9 | +311 | -3 |
| 2024-05-09 10:19 | Add tokenizer | Juan F. Meleiro | 7 | +109 | -4 |
| 2024-05-09 08:53 | Improve build system by reducing redundant rebuilds | Juan F. Meleiro | 6 | +21 | -12 |
| 2024-05-08 17:14 | Remove old build system | Juan F. Meleiro | 3 | +2 | -23 |
| 2024-05-08 17:11 | Add sup | Juan F. Meleiro | 9 | +164 | -47 |
| 2024-05-08 15:59 | fix: Supid pop should use stupid pre-decrement | Juan F. Meleiro | 2 | +6 | -3 |
| 2024-04-27 03:12 | Add result field in gardeners | Juan F. Meleiro | 9 | +92 | -183 |
| 2024-04-27 02:29 | Finish implementing use test for model.c | Juan F. Meleiro | 6 | +83 | -37 |
| 2024-04-26 21:42 | Implement function for displaying a gardener's state | Juan F. Meleiro | 11 | +106 | -26 |
| 2024-04-26 20:24 | Implement shape of model without checker functions | Juan F. Meleiro | 10 | +249 | -26 |
| 2024-04-19 18:48 | Add sketch of a metaschema module | Juan F. Meleiro | 3 | +120 | -0 |
| 2024-04-11 21:13 | Add interface for model | Juan F. Meleiro | 1 | +9 | -0 |
| 2024-04-11 19:52 | Add gardener module | Juan F. Meleiro | 16 | +681 | -76 |
| 2024-03-30 15:54 | Ignore redo files | Juan F. Meleiro | 1 | +1 | -0 |
| 2024-03-30 15:54 | Start new iteration, with new concepts | Juan F. Meleiro | 23 | +270 | -1017 |
| 2024-02-27 17:59 | Add associative list library | Juan F. Meleiro | 3 | +121 | -0 |
| 2024-02-27 16:58 | Add interning library | Juan F. Meleiro | 3 | +83 | -0 |
| 2024-02-07 18:12 | Add a proto-specification of the data model | Juan F. Meleiro | 1 | +46 | -0 |
| 2024-01-18 21:05 | Add somewhat proper error handling to VM | Juan F. Meleiro | 6 | +219 | -47 |
| 2024-01-18 19:07 | Implement a program tape | Juan F. Meleiro | 7 | +400 | -361 |
| 2024-01-07 17:37 | Add tactics for assumptions and proofs, plus reordering code | Juan F. Meleiro | 8 | +262 | -57 |
| 2024-01-06 22:16 | Add logic relating to attitudes | Juan F. Meleiro | 5 | +114 | -39 |
| 2024-01-06 21:16 | Add goals and tactics for building terms | Juan F. Meleiro | 6 | +355 | -126 |
| 2024-01-06 16:35 | Add writings and restructure dirs | Juan F. Meleiro | 12 | +660 | -0 |
| 2024-01-06 16:32 | Add first working mockup of a LoA VM | Juan F. Meleiro | 1 | +214 | -0 |
