v0.6.1 (2024-03-25)
Implemented enhancements:
- Support Nockma/Anoma scry operation #2672 (paulcadman)
- JuvixReg to CASM translation #2671 (lukaszcz)
Merged pull requests:
- Rename
Dynamic'toDynamicTy'#2696 (janmasrovira) - Rename
Constconstructor in Tree and Reg languages #2695 (janmasrovira) - Promote use of
MonadIOto minimizeembedoccurrences #2694 (janmasrovira) - Support compilation of Anoma transactions in nockma backend #2693 (paulcadman)
- Add flags for the markdown and html backend:
--strip-prefixand--ext. #2681 (jonaprieto) - Support nockma scry #2678 (paulcadman)
- JuvixReg to CASM translation #2671 (lukaszcz)
- Replace
polysemybyeffectful#2663 (janmasrovira)