Implemented enhancements:
- Improve output of
juvix dev import-tree print#2976 (janmasrovira) - Isabelle/HOL translation: comments #2974 (lukaszcz)
- Improve compilation progress log #2969 (janmasrovira)
- Isabelle/HOL translation: records and named patterns #2963 (lukaszcz)
- Translate Judoc comments to Isabelle/HOL #2958 (lukaszcz)
- Isabelle/HOL translation: the
isabelle-ignorepragma #2955 (lukaszcz) - Add do notation #2937 (janmasrovira)
Merged pull requests:
- Add
IsInstanceCoercionto Internal #2981 (janmasrovira) - Monad and Applicative traits in juvix stdlib #2979 (paulcadman)
- Add
PartialDoeffect #2978 (janmasrovira) - Improve performance of anomaEncode / anomaDecode in the Core evaluator #2975 (paulcadman)
- Don't fold lets with
fail,traceor>->in the body #2973 (lukaszcz) - Fix JuvixTree type unification #2972 (lukaszcz)
- Isabelle/HOL translation: add 'O' and 'OO' to reserved names #2961 (lukaszcz)
- Add
anoma-bytearray-{to, from}-anoma-contentsbuiltins #2960 (paulcadman) - Fix bug where highlighting is not kept when the file has a type error and imports some other file #2959 (janmasrovira)
- Register builtins during scoping and report proper errors instead of crashing #2943 (janmasrovira)