| 2024-12-23 21:24 | Add stuff | Robert Russell | 2 | +16 | -11 |
| 2024-08-30 03:54 | Add add/mul to surface syntax, and clean up parser | Robert Russell | 3 | +101 | -82 |
| 2024-08-30 03:50 | Update sparsec | Robert Russell | 0 | +0 | -0 |
| 2024-08-29 22:49 | Change how type definitions work | Robert Russell | 1 | +1 | -2 |
| 2024-08-29 22:46 | Clean up | Robert Russell | 4 | +51 | -17 |
| 2024-08-29 11:57 | Add TODO notes | Robert Russell | 1 | +10 | -0 |
| 2024-08-29 11:53 | Add README | Robert Russell | 1 | +206 | -0 |
| 2024-08-29 07:10 | Add means to declare types | Robert Russell | 2 | +70 | -15 |
| 2024-08-29 06:40 | Lower precedence of let to make the current example work | Robert Russell | 2 | +4 | -4 |
| 2024-08-29 06:34 | Add let bindings to terms | Robert Russell | 3 | +34 | -3 |
| 2024-08-29 06:09 | Add a coercion from kind * to kind $* to reduce verbosity | Robert Russell | 4 | +14 | -4 |
| 2024-08-29 06:02 | Add Parser, and get it all working on Church nat example | Robert Russell | 2 | +237 | -19 |
| 2024-08-29 04:04 | Clean up and move some work over from systemq | Robert Russell | 9 | +334 | -211 |
| 2024-08-28 05:41 | Work out abstraction for contexts/environments | Robert Russell | 9 | +306 | -67 |
| 2024-08-28 01:59 | Add LICENSE | Robert Russell | 1 | +16 | -0 |
| 2024-08-28 01:58 | Add gitignore | Robert Russell | 1 | +3 | -0 |
| 2024-08-28 01:58 | Elaborate types | Robert Russell | 5 | +248 | -0 |
| 2024-08-28 01:58 | Copy stuff from systemq | Robert Russell | 4 | +263 | -0 |
| 2024-08-28 01:56 | Add sparsec as a submodule | Robert Russell | 2 | +4 | -0 |
