imaqtkatt
|
3073285e36
|
Call desugar_use before linearize matches
|
2024-06-17 11:40:55 -03:00 |
|
Nicolas Abril
|
d6bdde548e
|
Add raw hvm function syntax
|
2024-06-15 17:22:55 +02:00 |
|
Nicolas Abril
|
b4bf3dede2
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
imaqtkatt
|
b74c3e2693
|
Generate definitions for constructor tags
|
2024-05-27 15:09:23 -03:00 |
|
Nicolas Abril
|
01a3337d49
|
Use the HVM AST instead of an internal one
|
2024-05-25 19:03:13 +02:00 |
|
Nicolas Abril
|
3e9b3c4083
|
Adapt Bend to new hvm number operation format
|
2024-05-21 16:23:40 +02:00 |
|
Nicolas Abril
|
f7a238c58a
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
|
imaqtkatt
|
372ae8a384
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
Nicolas Abril
|
0ec0ecd661
|
Add priority on all multiply recursive calls
|
2024-05-15 00:57:57 +02:00 |
|
Nicolas Abril
|
e1dd23d96c
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|