| 2025-12-22 20:16 | Add weaken | Robert Russell | 1 | +3 | -0 |
| 2025-07-27 02:22 | Change Int to Nat in ShadowMap.lookup | Robert Russell | 1 | +3 | -2 |
| 2025-07-27 02:01 | Add Environment.eval back | Robert Russell | 1 | +10 | -0 |
| 2025-07-27 01:35 | Uncomment and simplify environments | Robert Russell | 4 | +68 | -63 |
| 2025-07-06 21:12 | Start using naturals library, and temporarily comment out a bunch of stuff | Robert Russell | 7 | +57 | -29 |
| 2025-06-24 03:47 | Switch to strict IntMaps | Robert Russell | 1 | +2 | -2 |
| 2025-06-23 02:41 | Rename Env to Environment | Robert Russell | 2 | +78 | -78 |
| 2025-06-23 02:32 | Initial commit | Robert Russell | 6 | +184 | -0 |
