16 commits

Author	SHA1	Message	Date
Richard Feldman	f3f5592a4c	Update snapshots	2025-11-25 10:05:41 -05:00
Richard Feldman	546a7c67f2	Fix some eval issues	2025-11-23 16:22:21 -05:00
Richard Feldman	9933217a16	Merge origin/main	2025-11-23 09:20:48 -05:00
Richard Feldman	31705b2648	Merge origin/main	2025-11-22 15:45:17 -05:00
Richard Feldman	a28786ce50	More let-generalization fixes	2025-11-20 09:07:46 -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
Luke Boswell	6f06efebf3	update snapshots	2025-10-15 12:19:01 +11:00
Richard Feldman	239d67a5a6	Simplify snapshots to use snippets	2025-10-06 16:23:18 -04:00
Richard Feldman	0a2ba8be25	Revise some things	2025-10-06 12:08:00 -04:00
Richard Feldman	30ea992a83	import type modules	2025-10-06 10:44:18 -04:00
Jared Ramirez	c58afd7d39	Fix tag ext and number layouts	2025-09-30 17:47:03 -04:00
Jared Ramirez	193ce7b11a	Test against snapshots, fix alias unification	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/can_basic_scoping.md (Browse further)