v0.1.2

(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