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 |
|