11 Commits

Author	SHA1	Message	Date
imaqtkatt	ea4a79ca6d	Change 'do' keyword to 'with'	2024-05-28 16:49:00 -03:00
imaqtkatt	b74c3e2693	Generate definitions for constructor tags	2024-05-27 15:09:23 -03:00
imaqtkatt	61c73c68dd	Implement to_fun for comprehension	2024-05-21 17:06:51 -03:00
Nicolas Abril	f7a238c58a	[sc-663] Add num-scott adt encoding, it a cli opt	2024-05-20 14:47:50 +02:00
imaqtkatt	33756cbd3a	Fix comma in superposition parsing	2024-05-20 09:15:58 -03:00
Nicolas Abril	1585d2d5bc	[sc-699] Require , in list-like things in imp syntax	2024-05-17 18:11:07 +02:00
Nicolas Abril	faa6bdb9fc	[sc-694] Replace 'go' with 'fork' in 'bend'	2024-05-16 18:14:30 +02:00
imaqtkatt	372ae8a384	Update lambda syntax and built-in constructor names	2024-05-15 15:23:26 -03:00
imaqtkatt	d194890495	Fix wrong unbound definitions	2024-05-15 10:42:16 -03:00
imaqtkatt	6b1a5ef9f4	Add eraser expression	2024-05-15 09:33:16 -03:00
Nicolas Abril	e1dd23d96c	Update tests to use .bend extension, fix test uite	2024-05-15 00:25:46 +02:00