Implemented enhancements:
- Puns for named application #2890 (janmasrovira)
juvix typecheckwith no file argument typechecks all project #2889 (janmasrovira)- Update juvix-stdlib submodule reference to add Result #2885 (paulcadman)
- Make
juvix formatline width 100 with ribbon width 100 #2883 (paulcadman) - Translate function bodies to Isabelle/HOL #2868 (lukaszcz)
- Add front-end support for case expressions boolean side conditions #2852 (janmasrovira)
Merged pull requests:
- Bugfix: compiler looping with the
specializepragma #2899 (lukaszcz) - Fix CI for RISC0 version 1.0.2 #2888 (lukaszcz)
- Add precondition to run tests #2887 (janmasrovira)
- Remove Geb backend #2886 (paulcadman)
- Print pipe for else branch in multi if expression #2881 (janmasrovira)
- Add
ExceptT,MonadError,MonadTransas a test #2880 (janmasrovira) - Migrate old named application syntax #2876 (janmasrovira)
- Pragmas for record fields #2875 (lukaszcz)
- Reduce Internal boilerplate #2874 (janmasrovira)