Commit Graph

2 Commits

Author SHA1 Message Date
Nicolas Abril
01a3337d49 Use the HVM AST instead of an internal one 2024-05-25 19:03:13 +02:00
Nicolas Abril
e1dd23d96c Update tests to use .bend extension, fix test uite 2024-05-15 00:25:46 +02:00