16 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
Jared Ramirez	8d0e05b051	Can & check stmts	2025-10-23 20:21:12 -04:00
Richard Feldman	e9df50a594	Use new builtins in snapshots	2025-10-17 21:35:56 -04:00
Richard Feldman	82c6562352	Merge remote-tracking branch 'origin/main' into import-builtins	2025-10-17 21:05:58 -04:00
Joshua Warner	5d0167b776	Remove line/col info from snapshots by default	2025-10-16 07:00:23 -07:00
Richard Feldman	06390e07e6	Fix tests	2025-10-13 19:25:24 -04:00
Richard Feldman	9b6ac7f899	Remove builtin injection system	2025-10-09 21:45:55 -04: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_advanced.md (Browse further)