HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-09-11 03:45:29 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,114 Commits 9 Branches 37 Tags 82 MiB
main
Commit Graph

10 Commits

Author SHA1 Message Date
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