anoma/juvix v0.6.1

on GitHub

v0.6.1 (2024-03-25)

Full Changelog

Implemented enhancements:

• Support Nockma/Anoma scry operation #2672 (paulcadman)
• JuvixReg to CASM translation #2671 (lukaszcz)

Merged pull requests:

• Rename Dynamic' to DynamicTy' #2696 (janmasrovira)
• Rename Const constructor in Tree and Reg languages #2695 (janmasrovira)
• Promote use of MonadIO to minimize embed occurrences #2694 (janmasrovira)
• Support compilation of Anoma transactions in nockma backend #2693 (paulcadman)
• Add flags for the markdown and html backend: --strip-prefix and --ext. #2681 (jonaprieto)
• Support nockma scry #2678 (paulcadman)
• JuvixReg to CASM translation #2671 (lukaszcz)
• Replace polysemy by effectful #2663 (janmasrovira)