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	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	b92f8fad4d	Merge remote-tracking branch 'origin/main' into static-dispatch-nums	2025-11-06 07:49:59 -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	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/expr/float_negative.md (Browse further)