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

6 Commits

Author SHA1 Message Date
Nicolas Abril
f7a238c58a [sc-663] Add num-scott adt encoding, it a cli opt 2024-05-20 14:47:50 +02:00
Nicolas Abril
100cc90aee [sc-692] Add simple readback of tuples 2024-05-17 02:12:50 +02:00
Nicolas Abril
f724bbf541 Add list resugaring on readback 2024-05-15 22:07:58 +02:00
imaqtkatt
372ae8a384 Update lambda syntax and built-in constructor names 2024-05-15 15:23:26 -03:00
Nicolas Abril
2f7ae6c276 [sc-688] Add string resugaring of readback term 2024-05-15 19:00:20 +02:00
Nicolas Abril
e1dd23d96c Update tests to use .bend extension, fix test uite 2024-05-15 00:25:46 +02:00