Implemented enhancements:
- Support basic dependencies #1622 (janmasrovira)
Merged pull requests:
- Refactor hie.yaml and add entry in the readme #1672 (janmasrovira)
- Fix inline monospace formatted text in README #1671 (paulcadman)
- Pin mdbook to version 0.4.22 in docs build #1670 (paulcadman)
- Add option to specify Core transformations to
dev internal core-eval
#1669 (paulcadman) - Add configuration files so the project can be built with cabal #1667 (paulcadman)
- Add documentation for compiling/running the TicTacToe example #1664 (paulcadman)
- Conversion of Nat representation to JuvixCore integers #1661 (lukaszcz)
- Move applications inside Lets and Cases #1659 (lukaszcz)
- Run shelltests on macOS build #1658 (paulcadman)
- Restore macOS CI build/test #1657 (paulcadman)
- Remove type arguments and type abstractions from Nodes #1655 (lukaszcz)
- Pretty printing of JuvixAsm code #1650 (lukaszcz)
- Remove NameId from Core #1649 (lukaszcz)
- Translation from JuvixAsm to C #1619 (lukaszcz)