Commit graph

6 commits

Author SHA1 Message Date
Richard Feldman
6aca9773b7
Fix defaulting to Dec + unification 2025-11-19 10:31:11 -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
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/expr/lambda_with_args.md (Browse further)