Commit Graph

5 Commits

Author SHA1 Message Date
Nicolas Abril
3705094b6d Add unbound refs check 2024-05-31 18:52:22 +02:00
Nicolas Abril
5b4524e4a7 Change comments to # 2024-05-15 21:26:16 +02:00
Nicolas Abril
e1dd23d96c Update tests to use .bend extension, fix test uite 2024-05-15 00:25:46 +02:00
imaqtkatt
6948e1b3fb Constructors inherit type name 2024-05-10 17:31:16 -03:00
LunaAmora
2781fb8db8 Extract applications of recursive refs as combinators 2024-01-22 09:45:50 -03:00