v0.6.5
Implemented enhancements:
- Add
--statementsflag tojuvix dev latex export#2946 (janmasrovira) - Improve specialization optimization #2944 (lukaszcz)
- Export Juvix source code to latex #2917 (janmasrovira)
- Allow instance field declarations #2916 (janmasrovira)
- Add ByteArray builtin and Byte literal #2865 (paulcadman)
Merged pull requests:
- Fix inference of let and letrec in core #2953 (janmasrovira)
- Isabelle/HOL name quoting #2951 (lukaszcz)
- Remove unicode from Isabelle/HOL output #2950 (lukaszcz)
- Use ByteArray for Anoma cryptographic builtins #2947 (paulcadman)
- Add more comments in the source code #2938 (lukaszcz)
- Update stdlib submodule reference to juvix-stdlib main #2936 (paulcadman)
- Do not try flatparse scanner for .md files #2934 (janmasrovira)
- Add builtin ByteArray type #2933 (paulcadman)
- Update juvix-stdlib to include Foldable and Functor traits #2932 (paulcadman)
- Improve css of html documentation and allow different themes #2931 (janmasrovira)
- Fix html rendering of fixities #2930 (janmasrovira)
- Fix scanning of names with
importprefix #2929 (janmasrovira) - Fix name signature bug and extend test for instance fields #2928 (janmasrovira)
- Add FromNatural trait in
package-base#2926 (paulcadman) - Fix #2924. Use MegaParsec scanner for Markdown files #2925 (jonaprieto)
- Put
Last modifiedmessage inside footer tag #2922 (janmasrovira) - Improve css themes #2921 (janmasrovira)
- Do not show progress log for
juvix html#2920 (janmasrovira) - Add support for unsigned 8-bit integer type Byte #2918 (paulcadman)
- Properly handle confluent imports #2915 (janmasrovira)
- Allow record fields to be iterators #2909 (janmasrovira)
- Logger #2908 (janmasrovira)