Commit Graph

4 Commits

Author SHA1 Message Date
Nicolas Abril
6182ac74fa Make monadic blocks lazy by defering execution of continuations with free vars 2024-05-30 23:30: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
3a6c746fd6 [sc-684] Disable forwarding of free vars in ask terms 2024-05-15 12:29:14 +02:00
Nicolas Abril
e1dd23d96c Update tests to use .bend extension, fix test uite 2024-05-15 00:25:46 +02:00