Implemented enhancements:
- Refactor
htmlcommand with extra options #1725 (jonaprieto) - Add initial setup for codespaces #1713 (jonaprieto)
- Typecheck let expressions #1712 (janmasrovira)
- Use Smoke instead of shelltestrunner #1710 (jonaprieto)
- Replace --output-dir flag by --internal-build-dir #1707 (jonaprieto)
- Compiler output #1705 (jonaprieto)
- Allow optional pipe before the first constructor for inductive type declarations #1699 (jonaprieto)
- Nat builtins #1686 (lukaszcz)
Merged pull requests:
- Demo #1736 (lukaszcz)
- Update stack.yaml #1734 (jonaprieto)
- Fix Nat builtins #1733 (lukaszcz)
- Script to count LOC #1732 (lukaszcz)
- Give a proper type to literal Strings #1730 (paulcadman)
- Do not filter implicit args in internal to core translation #1728 (paulcadman)
- Fix de Brujin indexing of lambda arguments #1727 (paulcadman)
- Fix inference loop #1726 (janmasrovira)
- Remove wildcard patterns from Internal #1724 (janmasrovira)
- Restructure the documentation and add a tutorial #1718 (lukaszcz)
- Improve error message for confusing ':=' with '=' #1715 (lukaszcz)
- Fix #1704 #1711 (janmasrovira)
- Fix #1693 #1708 (janmasrovira)
- Tests for the new compilation pipeline #1703 (lukaszcz)
- Add printString and printBool support to legacy C backend #1698 (paulcadman)
- Add --show-de-bruijn option to
juvix repl#1694 (lukaszcz) - Allow 'terminating' keyword with builtins #1688 (lukaszcz)
- Remove unicode cons symbol #1687 (lukaszcz)
- Change syntax for ind. data types and forbid the empty data type #1684 (jonaprieto)
- Convert Nat literals to Core integers #1681 (lukaszcz)
- Less verbose output from running
make check#1675 (jonaprieto) - Remove where syntax #1674 (jonaprieto)
- Benchmarks #1673 (janmasrovira)
- JuvixCore to JuvixAsm translation #1665 (lukaszcz)