(release originally created by @jonaprieto, ported to this repository by @cwgoes)
What's Changed
- merge by @jonaprieto in anoma/minijuvix#1
- upgrade to ghc9 and use hpack by @janmasrovira in anoma/minijuvix#2
- Parser and scoper by @jonaprieto in anoma/minijuvix#3
- Big update including termination checking by @janmasrovira in anoma/minijuvix#5
- dev→main by @jonaprieto in anoma/minijuvix#6
- The MiniJuvix project now follows the same goals as the original Juvix project. by @jonaprieto in anoma/minijuvix#7
Full Changelog: https://github.com/heliaxdev/minijuvix/commits/v0.1.2