Commit Graph

7 Commits

Author SHA1 Message Date
Nicolas Abril
b4bf3dede2 Add Tree syntax and builtins 2024-06-05 16:00:43 +02:00
imaqtkatt
97f7a40907 Use the same keyword 'type' for adt definitions 2024-05-22 11:51:35 -03: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
Nicolas Abril
cad606671a Improve some error messages, add radixsort example 2024-05-01 16:56:22 +02:00
Nicolas Abril
28912c9280 [sc-523] Use pre-reduce to check for non-termination in strict mode 2024-04-08 16:27:25 +02:00