| 2026-05-29 04:18 | Add const version of Env.define | Robert Russell | 1 | +6 | -2 |
| 2026-05-25 02:39 | Add topLevel | Robert Russell | 2 | +5 | -1 |
| 2026-05-23 21:41 | Add phantom parameter to Depth, Index, Level, and Environment | Robert Russell | 2 | +25 | -19 |
| 2026-05-23 21:38 | Update meta files | Robert Russell | 4 | +49 | -5 |
| 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 |
