Commit Graph

6 Commits

Author SHA1 Message Date
Nicolas Abril
94cada901d Expand refs in main, don't float combinators in main 2024-06-05 19:02:44 +02:00
Nicolas Abril
01a3337d49 Use the HVM AST instead of an internal one 2024-05-25 19:03:13 +02:00
Nicolas Abril
e700294e1d Add new IO, fix pruning 2024-05-23 19:25:24 +02:00
Nicolas Abril
f7a238c58a [sc-663] Add num-scott adt encoding, it a cli opt 2024-05-20 14:47:50 +02: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