| 2024-08-27 01:44 | Undo git post-receive test | Robert Russell | 1 | +0 | -2 |
| 2024-08-27 01:29 | Test post-receive hook on git server | Robert Russell | 1 | +2 | -0 |
| 2024-08-27 00:07 | Add LICENSE | Robert Russell | 1 | +16 | -0 |
| 2024-08-26 22:21 | Clean up, add examples, and add README | Robert Russell | 9 | +37 | -383 |
| 2024-05-13 22:58 | Stuff | Robert Russell | 2 | +8 | -0 |
| 2024-01-30 12:24 | Move some eval code | Robert Russell | 2 | +3 | -3 |
| 2024-01-30 08:37 | Add CLI | Robert Russell | 4 | +60 | -63 |
| 2024-01-30 03:25 | Make tuples inferrable | Robert Russell | 5 | +59 | -16 |
| 2024-01-29 12:40 | Catch syntax errors | Robert Russell | 4 | +28 | -9 |
| 2024-01-29 11:11 | Cleanup builtins, check new ones with factorial example | Robert Russell | 15 | +248 | -131 |
| 2024-01-25 03:45 | Dependent pattern matching works! (At least a little.) | Robert Russell | 5 | +64 | -100 |
| 2024-01-24 06:06 | Back to an ostensibly working state | Robert Russell | 22 | +819 | -547 |
| 2024-01-19 08:08 | Stable state (no quoting of match yet) | Robert Russell | 9 | +380 | -197 |
| 2024-01-18 03:58 | Test a fix issue relating to quoted names | Robert Russell | 8 | +212 | -186 |
| 2024-01-17 11:41 | Pretty printing looking real pretty | Robert Russell | 2 | +20 | -22 |
| 2024-01-17 09:43 | Save pretty print stuff in case I want to revert in a minute | Robert Russell | 5 | +162 | -250 |
| 2024-01-17 05:19 | Get some stuff in history before deleting it | Robert Russell | 30 | +1790 | -877 |
| 2024-01-09 08:19 | Improve error handling; make 0-ary functions desugar to Unit domain | Robert Russell | 8 | +123 | -36 |
| 2024-01-09 07:09 | Get (mutual) recursion working | Robert Russell | 7 | +94 | -123 |
| 2024-01-09 02:30 | Test data and datatypes | Robert Russell | 6 | +26 | -5 |
| 2024-01-09 01:58 | Rework some stuff; bring back data and datatype support | Robert Russell | 19 | +716 | -678 |
| 2024-01-08 01:49 | Return to a compiling state | Robert Russell | 27 | +1431 | -592 |
| 2024-01-04 01:32 | Update parser | Robert Russell | 6 | +197 | -188 |
| 2023-12-28 21:22 | Stuff | Robert Russell | 11 | +260 | -116 |
| 2023-12-28 21:21 | Add tsils | Robert Russell | 1 | +35 | -0 |
| 2023-12-20 22:35 | Add de Bruijn indices to surface language | Robert Russell | 7 | +43 | -17 |
| 2023-12-20 21:38 | Test error handling | Robert Russell | 3 | +25 | -12 |
| 2023-12-20 06:34 | Return to working condition | Robert Russell | 6 | +81 | -68 |
| 2023-12-20 05:36 | Rework concrete and abstract syntax | Robert Russell | 15 | +336 | -231 |
| 2023-12-19 04:55 | Some refactoring | Robert Russell | 9 | +157 | -94 |
| 2023-12-18 04:11 | Stuff | Robert Russell | 8 | +31 | -10 |
| 2023-12-15 22:47 | It works! | Robert Russell | 9 | +170 | -309 |
| 2023-12-15 21:50 | Wip | Robert Russell | 7 | +125 | -126 |
| 2023-12-15 02:45 | WIP elaboration | Robert Russell | 12 | +241 | -1973 |
| 2023-12-11 21:59 | Concrete to abstract syntax conversion | Robert Russell | 8 | +510 | -329 |
| 2023-12-06 19:44 | New concrete syntax | Robert Russell | 7 | +1843 | -256 |
| 2023-12-06 07:47 | Save progress, because I'm about to change a bunch of stuff | Robert Russell | 9 | +600 | -8 |
| 2023-12-04 05:12 | Start nice version | Robert Russell | 7 | +261 | -0 |
| 2023-12-03 19:09 | Simple dependently typed elaborator | Robert Russell | 1 | +216 | -0 |
