anoma/juvix v0.2.0

on GitHub

(release originally created by @jonaprieto, ported to this repository by @cwgoes)

Full changelog: anoma/minijuvix@v0.1.4...v0.2.0

What's Changed

• Add "-Oz" optimization flag to clang args by @paulcadman in anoma/minijuvix#133
• Revision for package.yaml and minor deletions by @jonaprieto in anoma/minijuvix#135
• Add holes for expressions in function clauses and inference support by @janmasrovira in anoma/minijuvix#136
• Add support for holes in type signatures by @janmasrovira in anoma/minijuvix#141
• Fix: pretty printing for terminating keyword by @jonaprieto in anoma/minijuvix#145
• Add version and help option and root command to the CLI by @jonaprieto in anoma/minijuvix#131
• Support function closures with no environment in minic by @paulcadman in anoma/minijuvix#137
• Support implicit arguments by @janmasrovira in anoma/minijuvix#144
• Add positive test designed for implicit arguments by @janmasrovira in anoma/minijuvix#153
• Remove dead code related to the pipeline by @janmasrovira in anoma/minijuvix#156
• Add negative test for AppLeftImplicit by @janmasrovira in anoma/minijuvix#154
• Update README usage example to use the compile command by @paulcadman in anoma/minijuvix#158
• Update stdlib to work with version 0.2 by @janmasrovira in anoma/minijuvix#160
• Fix links in documentation and update to new syntax by @paulcadman in anoma/minijuvix#163
• Allow holes to be refined into function types by @janmasrovira in anoma/minijuvix#165
• Improve filepath equality by @janmasrovira in anoma/minijuvix#170
• Update validity predicate milestone example to 0.2 syntax by @paulcadman in anoma/minijuvix#167
• Remove TypeAny and adapt typechecking for literals by @janmasrovira in anoma/minijuvix#173
• Fix: Ignore implicit patterns and arguments in termination checking by @janmasrovira in anoma/minijuvix#172
• Fix: identifiers with a keyword prefix cannot be parsed by @janmasrovira in anoma/minijuvix#171
• Allow open import statements by @janmasrovira in anoma/minijuvix#175
• Embed HTML assets in the minijuvix binary by @paulcadman in anoma/minijuvix#176
• Replace dead link in README with a link to the MiniJuvix book by @paulcadman in anoma/minijuvix#177
• Remove ExpressionTyped from MicroJuvix by @janmasrovira in anoma/minijuvix#143
• Use Abstract name in Abstract syntax and Micro/MonoJuvix by @janmasrovira in anoma/minijuvix#181
• Upgrade to ghc-9.2.3 by @janmasrovira in anoma/minijuvix#178
• Add an option to specify the path where to put the HTML output by @jonaprieto in anoma/minijuvix#179
• Add minijuvix version info and date to HTML output by @jonaprieto in anoma/minijuvix#186
• Fix: Add check for constructor return types by @jonaprieto in anoma/minijuvix#182
• Fix: proper error handling for typechecker errors by @jonaprieto in anoma/minijuvix#189
• Support partial application and closure passing in C backend by @paulcadman in anoma/minijuvix#190
• Support built in types by @janmasrovira in anoma/minijuvix#192

Full Changelog: anoma/minijuvix@v0.1.4...v0.2.0