v0.2.1

jonaprieto released this 23 Jul 05:37

· 10 commits to main since this release

Remove support for GEB backend as Juvix v0.6.4.
Minor fixes to Juvix Markdown.
Fix Isabelle generation command

Assets 4