Commit graph

11 commits

Author SHA1 Message Date
Richard Feldman
a26b5ea217
from_nominal takes a Nominal 2025-11-23 01:22:01 -05:00
Richard Feldman
6f324c9e1e
Rename NumLiteral to Nominal 2025-11-22 14:48:53 -05:00
Richard Feldman
1f1c61091a
More number fixes 2025-11-20 00:06:05 -05:00
Richard Feldman
86672e72e3
wip 2025-11-19 09:48:01 -05:00
Jared Ramirez
2a2ff8d093
Cleanup 2025-11-09 09:59:56 -05:00
Richard Feldman
4a67fc5ed6
Add new type pretty-printing 2025-11-05 21:49:32 -05:00
Joshua Warner
5d0167b776
Remove line/col info from snapshots by default 2025-10-16 07:00:23 -07:00
Jared Ramirez
ff11d0a636
Review snapshots & fix issues 2025-09-30 17:47:04 -04:00
Jared Ramirez
56f632d509
Support external types in annos 2025-09-30 17:44:46 -04:00
Fabian Schmalzried
53f0eff1c0
run snapshot tool 2025-08-26 22:18:03 +02:00
Luke Boswell
4f509ce357
move snapshots into test/, the tool into a sub-dir 2025-08-12 17:10:31 +10:00
Renamed from src/snapshots/lambda_capture/lambda_capture_basic.md (Browse further)