Commit Graph

4 Commits

Author SHA1 Message Date
imaqtkatt
e0d1df39e8 Update test snapshot 2024-05-20 09:17:22 -03:00
Nicolas Abril
a763052c11 [sc-686] Add record types and record type destructuring 2024-05-15 17:53:50 +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