Commit graph

8 commits

Author SHA1 Message Date
e5ac1b2718 [fine] Fix line endings in windows 2024-01-06 16:43:18 -08:00
8835d9eaf2 [fine] Tweak syntax for assertions to make me happier 2024-01-06 07:54:00 -08:00
a9c1b04920 [fine] Tests for type errors
WHEEEEEEE!
2024-01-05 19:29:45 -08:00
618e0028d3 [fine] Type testing with probes and reporting
I'm proud of the test harness here actually. Also fix a bug in
checking!
2024-01-05 17:10:15 -08:00
c0f40aa512 [fine] Type checking bones 2024-01-05 14:59:48 -08:00
5cc9ecc398 [fine] New parser usurps old parser 2024-01-05 11:22:45 -08:00
26871aa9ae [fine] Automatic rebase support for CST 2024-01-04 19:42:51 -08:00
1f6d7ec131 [fine] Dump CSTs and an example zoo 2024-01-04 13:25:17 -08:00