* Changelog
#+begin_html
#+end_html
** [[https://github.com/anoma/juvix/tree/v0.2.8][v0.2.8]] (2022-12-20)
[[https://github.com/anoma/juvix/compare/v0.2.7...v0.2.8][Full
Changelog]]
**Implemented enhancements:**
- Support basic dependencies [\#1622](https://github.com/anoma/juvix/pull/1622) ([janmasrovira](https://github.com/janmasrovira))
**Merged pull requests:**
- Refactor hie.yaml and add entry in the readme [\#1672](https://github.com/anoma/juvix/pull/1672) ([janmasrovira](https://github.com/janmasrovira))
- Fix inline monospace formatted text in README [\#1671](https://github.com/anoma/juvix/pull/1671) ([paulcadman](https://github.com/paulcadman))
- Pin mdbook to version 0.4.22 in docs build [\#1670](https://github.com/anoma/juvix/pull/1670) ([paulcadman](https://github.com/paulcadman))
- Add option to specify Core transformations to `dev internal core-eval` [\#1669](https://github.com/anoma/juvix/pull/1669) ([paulcadman](https://github.com/paulcadman))
- Add configuration files so the project can be built with cabal [\#1667](https://github.com/anoma/juvix/pull/1667) ([paulcadman](https://github.com/paulcadman))
- Add documentation for compiling/running the TicTacToe example [\#1664](https://github.com/anoma/juvix/pull/1664) ([paulcadman](https://github.com/paulcadman))
- Conversion of Nat representation to JuvixCore integers [\#1661](https://github.com/anoma/juvix/pull/1661) ([lukaszcz](https://github.com/lukaszcz))
- Move applications inside Lets and Cases [\#1659](https://github.com/anoma/juvix/pull/1659) ([lukaszcz](https://github.com/lukaszcz))
- Run shelltests on macOS build [\#1658](https://github.com/anoma/juvix/pull/1658) ([paulcadman](https://github.com/paulcadman))
- Restore macOS CI build/test [\#1657](https://github.com/anoma/juvix/pull/1657) ([paulcadman](https://github.com/paulcadman))
- Remove type arguments and type abstractions from Nodes [\#1655](https://github.com/anoma/juvix/pull/1655) ([lukaszcz](https://github.com/lukaszcz))
- Pretty printing of JuvixAsm code [\#1650](https://github.com/anoma/juvix/pull/1650) ([lukaszcz](https://github.com/lukaszcz))
- Remove NameId from Core [\#1649](https://github.com/anoma/juvix/pull/1649) ([lukaszcz](https://github.com/lukaszcz))
- Translation from JuvixAsm to C [\#1619](https://github.com/anoma/juvix/pull/1619) ([lukaszcz](https://github.com/lukaszcz))
** [[https://github.com/anoma/juvix/tree/v0.2.7][v0.2.7]] (2022-12-05)
[[https://github.com/anoma/juvix/compare/v0.2.6...v0.2.7][Full
Changelog]]
*Implemented enhancements:*
- Add juvix-repl-mode for emacs
[[https://github.com/anoma/juvix/pull/1612][#1612]]
([[https://github.com/paulcadman][paulcadman]])
- Make lambda lifting correct when free variables occur in the types of
binders [[https://github.com/anoma/juvix/pull/1609][#1609]]
([[https://github.com/janmasrovira][janmasrovira]])
*Merged pull requests:*
- Files pure refactor
[[https://github.com/anoma/juvix/pull/1652][#1652]]
([[https://github.com/janmasrovira][janmasrovira]])
- Use the same stack version in all CI jobs and remove =stack setup=
step [[https://github.com/anoma/juvix/pull/1651][#1651]]
([[https://github.com/paulcadman][paulcadman]])
- Fix 'not a primitive type' error message
[[https://github.com/anoma/juvix/pull/1648][#1648]]
([[https://github.com/lukaszcz][lukaszcz]])
- Upgrade stack snapshot to use ghc-9.2.5
[[https://github.com/anoma/juvix/pull/1621][#1621]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add an emacs function to restart the REPL
[[https://github.com/anoma/juvix/pull/1618][#1618]]
([[https://github.com/paulcadman][paulcadman]])
- Add types to Core functions and constructors when translating from
Internal [[https://github.com/anoma/juvix/pull/1617][#1617]]
([[https://github.com/paulcadman][paulcadman]])
- Auto complete argument of 'dev core read -t'
[[https://github.com/anoma/juvix/pull/1616][#1616]]
([[https://github.com/janmasrovira][janmasrovira]])
- Compute new entrypoint root when loading a file in the REPL
[[https://github.com/anoma/juvix/pull/1615][#1615]]
([[https://github.com/paulcadman][paulcadman]])
- Compute maximum runtime stack height in JuvixReg
[[https://github.com/anoma/juvix/pull/1613][#1613]]
([[https://github.com/lukaszcz][lukaszcz]])
- Remove shelltest threading
[[https://github.com/anoma/juvix/pull/1611][#1611]]
([[https://github.com/paulcadman][paulcadman]])
- Use StackInfo and recurseS in the JuvixAsm to JuvixReg translation.
[[https://github.com/anoma/juvix/pull/1610][#1610]]
([[https://github.com/lukaszcz][lukaszcz]])
- Precompute maximum heap allocation
[[https://github.com/anoma/juvix/pull/1608][#1608]]
([[https://github.com/lukaszcz][lukaszcz]])
- Improvements to Juvix REPL
[[https://github.com/anoma/juvix/pull/1607][#1607]]
([[https://github.com/paulcadman][paulcadman]])
- Fix discrepancy between Juvix and WASM pages
[[https://github.com/anoma/juvix/pull/1605][#1605]]
([[https://github.com/lukaszcz][lukaszcz]])
- Compute JuvixAsm stack usage info
[[https://github.com/anoma/juvix/pull/1604][#1604]]
([[https://github.com/lukaszcz][lukaszcz]])
- Improve As-Pattern parsing
[[https://github.com/anoma/juvix/pull/1603][#1603]]
([[https://github.com/ii8][ii8]])
- Juvix core recursors should descend into nodes stored in infos
[[https://github.com/anoma/juvix/pull/1600][#1600]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add docs for installing the linux binary
[[https://github.com/anoma/juvix/pull/1599][#1599]]
([[https://github.com/paulcadman][paulcadman]])
- Binder refactor [[https://github.com/anoma/juvix/pull/1598][#1598]]
([[https://github.com/janmasrovira][janmasrovira]])
- Juvix C runtime [[https://github.com/anoma/juvix/pull/1580][#1580]]
([[https://github.com/lukaszcz][lukaszcz]])
- As-patterns [[https://github.com/anoma/juvix/pull/1576][#1576]]
([[https://github.com/ii8][ii8]])
- Eta expansion at the top of each core function definition (#1481)
[[https://github.com/anoma/juvix/pull/1571][#1571]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add translation from Internal to Core
[[https://github.com/anoma/juvix/pull/1567][#1567]]
([[https://github.com/paulcadman][paulcadman]])
** [[https://github.com/anoma/juvix/tree/v0.2.6][v0.2.6]] (2022-10-26)
[[https://github.com/anoma/juvix/compare/v0.2.5...v0.2.6][Full
Changelog]]
*Implemented enhancements:*
- Support go to definition for the standard library
[[https://github.com/anoma/juvix/pull/1592][#1592]]
([[https://github.com/paulcadman][paulcadman]])
- Add builtin if [[https://github.com/anoma/juvix/pull/1585][#1585]]
([[https://github.com/paulcadman][paulcadman]])
- Add builtin boolean
[[https://github.com/anoma/juvix/pull/1582][#1582]]
([[https://github.com/paulcadman][paulcadman]])
- Add lambda expressions to internal and add typechecking support
[[https://github.com/anoma/juvix/pull/1538][#1538]]
([[https://github.com/janmasrovira][janmasrovira]])
*Fixed bugs:*
- Fix arity checker bug
[[https://github.com/anoma/juvix/pull/1546][#1546]]
([[https://github.com/janmasrovira][janmasrovira]])
- Look in patterns when building the dependency graph
[[https://github.com/anoma/juvix/pull/1536][#1536]]
([[https://github.com/janmasrovira][janmasrovira]])
*Merged pull requests:*
- Update language reference to match current state of Juvix
[[https://github.com/anoma/juvix/pull/1594][#1594]]
([[https://github.com/paulcadman][paulcadman]])
- Fix letrec printing
[[https://github.com/anoma/juvix/pull/1591][#1591]]
([[https://github.com/janmasrovira][janmasrovira]])
- Update stdlib submodule with builtin changes
[[https://github.com/anoma/juvix/pull/1589][#1589]]
([[https://github.com/paulcadman][paulcadman]])
- Rename builtin natural to nat and boolean to bool
[[https://github.com/anoma/juvix/pull/1588][#1588]]
([[https://github.com/paulcadman][paulcadman]])
- Improve the test for eta-expansion of constructors and builtins
[[https://github.com/anoma/juvix/pull/1583][#1583]]
([[https://github.com/lukaszcz][lukaszcz]])
- Properly newline expressions in the pretty printer
[[https://github.com/anoma/juvix/pull/1581][#1581]]
([[https://github.com/janmasrovira][janmasrovira]])
- Letrec lifting [[https://github.com/anoma/juvix/pull/1579][#1579]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add softlines between applications and hang definitions
[[https://github.com/anoma/juvix/pull/1578][#1578]]
([[https://github.com/janmasrovira][janmasrovira]])
- Parse optional type info in JVC files
[[https://github.com/anoma/juvix/pull/1575][#1575]]
([[https://github.com/lukaszcz][lukaszcz]])
- Fix symbol numbering bug
[[https://github.com/anoma/juvix/pull/1574][#1574]]
([[https://github.com/lukaszcz][lukaszcz]])
- 1569 rewrite the test for lambda lifting to use evaluation
[[https://github.com/anoma/juvix/pull/1572][#1572]]
([[https://github.com/janmasrovira][janmasrovira]])
- Remove lambda from reservedSymbols
[[https://github.com/anoma/juvix/pull/1568][#1568]]
([[https://github.com/lukaszcz][lukaszcz]])
- Keywords refactor [[https://github.com/anoma/juvix/pull/1566][#1566]]
([[https://github.com/janmasrovira][janmasrovira]])
- remove ≔ from the language and replace it by :=
[[https://github.com/anoma/juvix/pull/1563][#1563]]
([[https://github.com/janmasrovira][janmasrovira]])
- JuvixReg [[https://github.com/anoma/juvix/pull/1551][#1551]]
([[https://github.com/lukaszcz][lukaszcz]])
- Remove duplicate function in concrete analysis
[[https://github.com/anoma/juvix/pull/1550][#1550]]
([[https://github.com/ii8][ii8]])
- Evaluator minor style refactor
[[https://github.com/anoma/juvix/pull/1547][#1547]]
([[https://github.com/janmasrovira][janmasrovira]])
- Properly handle top lambdas in the termination checker
[[https://github.com/anoma/juvix/pull/1544][#1544]]
([[https://github.com/janmasrovira][janmasrovira]])
- Mutual inference [[https://github.com/anoma/juvix/pull/1543][#1543]]
([[https://github.com/janmasrovira][janmasrovira]])
- Autocomplete ".jvc" input files for core {eval, read} commands
[[https://github.com/anoma/juvix/pull/1542][#1542]]
([[https://github.com/paulcadman][paulcadman]])
- Add --show-de-bruijn to =core eval= command
[[https://github.com/anoma/juvix/pull/1540][#1540]]
([[https://github.com/paulcadman][paulcadman]])
- Inductive types should depend on the types of their constructors
[[https://github.com/anoma/juvix/pull/1537][#1537]]
([[https://github.com/lukaszcz][lukaszcz]])
- Parser labels [[https://github.com/anoma/juvix/pull/1535][#1535]]
([[https://github.com/janmasrovira][janmasrovira]])
- JuvixAsm [[https://github.com/anoma/juvix/pull/1432][#1432]]
([[https://github.com/lukaszcz][lukaszcz]])
** [[https://github.com/anoma/juvix/tree/v0.2.5][v0.2.5]] (2022-09-14)
[[https://github.com/anoma/juvix/compare/v0.2.4...v0.2.5][Full
Changelog]]
*Fixed bugs:*
- Properly type check patterns that need normalization
[[https://github.com/anoma/juvix/pull/1472][#1472]]
([[https://github.com/janmasrovira][janmasrovira]])
- Detect nested patterns as smaller in the termination checker
[[https://github.com/anoma/juvix/pull/1524][#1524]]
- Fix developBeta in Core/Extra.hs
[[https://github.com/anoma/juvix/pull/1487][#1487]]
([[https://github.com/lukaszcz][lukaszcz]])
- Core/Extra/Recursors/Collector bugfix
[[https://github.com/anoma/juvix/pull/1510][#1510]]
([[https://github.com/lukaszcz][lukaszcz]])
*Merged pull requests:*
- Replace -> by := in lambda syntax
[[https://github.com/anoma/juvix/pull/1533][#1533]]
([[https://github.com/janmasrovira][janmasrovira]])
- 'Match' with complex patterns in Core
[[https://github.com/anoma/juvix/pull/1530][#1530]]
([[https://github.com/lukaszcz][lukaszcz]])
- Refactor CLI [[https://github.com/anoma/juvix/pull/1527][#1527]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add CanonicalProjection
[[https://github.com/anoma/juvix/pull/1526][#1526]]
([[https://github.com/janmasrovira][janmasrovira]])
- Make comma a delimiter
[[https://github.com/anoma/juvix/pull/1525][#1525]]
([[https://github.com/lukaszcz][lukaszcz]])
- Detect nested patterns as smaller in the termination checker
[[https://github.com/anoma/juvix/pull/1524][#1524]]
([[https://github.com/janmasrovira][janmasrovira]])
- Disallow tab characters as spaces
[[https://github.com/anoma/juvix/pull/1523][#1523]]
([[https://github.com/janmasrovira][janmasrovira]])
- Refactor =destruct= in Core/Extra/Base
[[https://github.com/anoma/juvix/pull/1522][#1522]]
([[https://github.com/lukaszcz][lukaszcz]])
- JuvixCore primitive types
[[https://github.com/anoma/juvix/pull/1521][#1521]]
([[https://github.com/lukaszcz][lukaszcz]])
- Enable autocompletion for the --theme flag
[[https://github.com/anoma/juvix/pull/1519][#1519]]
([[https://github.com/janmasrovira][janmasrovira]])
- Stripped version of Core Node datatype
[[https://github.com/anoma/juvix/pull/1518][#1518]]
([[https://github.com/lukaszcz][lukaszcz]])
- Add =internal core read= command
[[https://github.com/anoma/juvix/pull/1517][#1517]]
([[https://github.com/janmasrovira][janmasrovira]])
- Implement some instances for BinderList
[[https://github.com/anoma/juvix/pull/1515][#1515]]
([[https://github.com/janmasrovira][janmasrovira]])
- Back recursor types with type families
[[https://github.com/anoma/juvix/pull/1514][#1514]]
([[https://github.com/janmasrovira][janmasrovira]])
- Eager evaluation of Constr arguments
[[https://github.com/anoma/juvix/pull/1513][#1513]]
([[https://github.com/lukaszcz][lukaszcz]])
- Dynamic type in Core
[[https://github.com/anoma/juvix/pull/1508][#1508]]
([[https://github.com/lukaszcz][lukaszcz]])
- LetRec in Core [[https://github.com/anoma/juvix/pull/1507][#1507]]
([[https://github.com/lukaszcz][lukaszcz]])
- Add Haddock and Agda licenses
[[https://github.com/anoma/juvix/pull/1506][#1506]]
([[https://github.com/janmasrovira][janmasrovira]])
- Fix docs webapp examples CI build
[[https://github.com/anoma/juvix/pull/1505][#1505]]
([[https://github.com/paulcadman][paulcadman]])
- Add CLI usage examples doc and integrate with README
[[https://github.com/anoma/juvix/pull/1504][#1504]]
([[https://github.com/paulcadman][paulcadman]])
- Refactor BinderInfo
[[https://github.com/anoma/juvix/pull/1503][#1503]]
([[https://github.com/lukaszcz][lukaszcz]])
- Make =juvix compile= default to native target
[[https://github.com/anoma/juvix/pull/1502][#1502]]
([[https://github.com/paulcadman][paulcadman]])
- Refactor Node datatype
[[https://github.com/anoma/juvix/pull/1501][#1501]]
([[https://github.com/lukaszcz][lukaszcz]])
- Clean up import list in Pipeline
[[https://github.com/anoma/juvix/pull/1499][#1499]]
([[https://github.com/jonaprieto][jonaprieto]])
- Remove mono [[https://github.com/anoma/juvix/pull/1497][#1497]]
([[https://github.com/jonaprieto][jonaprieto]])
- Remove Haskell support
[[https://github.com/anoma/juvix/pull/1496][#1496]]
([[https://github.com/jonaprieto][jonaprieto]])
- Implement lambda lifting
[[https://github.com/anoma/juvix/pull/1494][#1494]]
([[https://github.com/janmasrovira][janmasrovira]])
- Document Emacs installation and the 'exec-path' problem
[[https://github.com/anoma/juvix/pull/1493][#1493]]
([[https://github.com/lukaszcz][lukaszcz]])
- Add --allow-different-user to workflow stack command
[[https://github.com/anoma/juvix/pull/1492][#1492]]
([[https://github.com/paulcadman][paulcadman]])
- Stack with github actions permissions workaround
[[https://github.com/anoma/juvix/pull/1490][#1490]]
([[https://github.com/paulcadman][paulcadman]])
- Restructure recursors and add some lens interfaces
[[https://github.com/anoma/juvix/pull/1489][#1489]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add a github action to build a static linux binary
[[https://github.com/anoma/juvix/pull/1488][#1488]]
([[https://github.com/paulcadman][paulcadman]])
- Fix developBeta in Core/Extra.hs
[[https://github.com/anoma/juvix/pull/1487][#1487]]
([[https://github.com/lukaszcz][lukaszcz]])
- Add an option to show name ids in errors
[[https://github.com/anoma/juvix/pull/1486][#1486]]
([[https://github.com/lukaszcz][lukaszcz]])
** [[https://github.com/anoma/juvix/tree/v0.2.4][v0.2.4]] (2022-08-19)
:PROPERTIES:
:CUSTOM_ID: v0.2.4-2022-08-19
:END:
[[https://github.com/anoma/juvix/compare/v0.2.3...v0.2.4][Full
Changelog]]
(Special version for Heliax's retreat in Italy)
*Implemented enhancements:*
- Add --stdin flag [[https://github.com/anoma/juvix/pull/1459][#1459]]
([[https://github.com/janmasrovira][janmasrovira]])
*Fixed bugs:*
- Fix typechecker [[https://github.com/anoma/juvix/pull/1458][#1458]]
([[https://github.com/janmasrovira][janmasrovira]])
*Merged pull requests:*
- use --stdin in flycheck mode
[[https://github.com/anoma/juvix/pull/1460][#1460]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add a native compile target for demos
[[https://github.com/anoma/juvix/pull/1457][#1457]]
([[https://github.com/paulcadman][paulcadman]])
- Small changes for the presentation
[[https://github.com/anoma/juvix/pull/1456][#1456]]
([[https://github.com/jonaprieto][jonaprieto]])
- Fixes TicTacToe Web example
[[https://github.com/anoma/juvix/pull/1454][#1454]]
([[https://github.com/paulcadman][paulcadman]])
- Upgrade to ghc-9.2.4
[[https://github.com/anoma/juvix/pull/1451][#1451]]
([[https://github.com/janmasrovira][janmasrovira]])
** [[https://github.com/anoma/juvix/tree/v0.2.3][v0.2.3]] (2022-08-15)
:PROPERTIES:
:CUSTOM_ID: v0.2.3-2022-08-15
:END:
[[https://github.com/anoma/juvix/compare/v0.2.2...v0.2.3][Full
Changelog]]
*Implemented enhancements:*
- add =name= and =version= to =juvix.yaml=
[[https://github.com/anoma/juvix/pull/1422][#1422]]
([[https://github.com/janmasrovira][janmasrovira]])
*Fixed bugs:*
- Properly handle paragraphs in judoc
[[https://github.com/anoma/juvix/pull/1447][#1447]]
([[https://github.com/janmasrovira][janmasrovira]])
*Merged pull requests:*
- Give a proper type to literal natural numbers
[[https://github.com/anoma/juvix/pull/1453][#1453]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add the option to output json in the =juvix internal highlight=
command [[https://github.com/anoma/juvix/pull/1450][#1450]] ([[https://github.com/janmasrovira][janmasrovira]]) for supporting the new [[https://marketplace.visualstudio.com/items?itemName=heliax.juvix-mode][Juvix Mode for Visual Studio Code]] ([[https://github.com/anoma/vscode-juvix][jonaprieto]])
- Allow _ in Wasm exported names to support Anoma signature
[[https://github.com/anoma/juvix/pull/1449][#1449]]
([[https://github.com/paulcadman][paulcadman]])
- Add Towers of Hanoi and Pascal triangle examples
[[https://github.com/anoma/juvix/pull/1446][#1446]]
([[https://github.com/paulcadman][paulcadman]])
- Add =juvix init= command
[[https://github.com/anoma/juvix/pull/1445][#1445]]
([[https://github.com/janmasrovira][janmasrovira]])
- Refactor pretty to reduce duplication
[[https://github.com/anoma/juvix/pull/1443][#1443]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add initial support for examples in Html documentation
[[https://github.com/anoma/juvix/pull/1442][#1442]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add revisions to README
[[https://github.com/anoma/juvix/pull/1440][#1440]]
([[https://github.com/jonaprieto][jonaprieto]])
- CI: Run build on push to main
[[https://github.com/anoma/juvix/pull/1437][#1437]]
([[https://github.com/paulcadman][paulcadman]])
- Add doctor subcommand
[[https://github.com/anoma/juvix/pull/1436][#1436]]
([[https://github.com/paulcadman][paulcadman]])
- CI checkout repo before cache and use recommended cache strategy
[[https://github.com/anoma/juvix/pull/1435][#1435]]
([[https://github.com/paulcadman][paulcadman]])
- Various documentation adjustments
[[https://github.com/anoma/juvix/pull/1434][#1434]]
([[https://github.com/paulcadman][paulcadman]])
- Setup Clang before building docs in CI
[[https://github.com/anoma/juvix/pull/1433][#1433]]
([[https://github.com/paulcadman][paulcadman]])
- Major revisions to Makefile
[[https://github.com/anoma/juvix/pull/1431][#1431]]
([[https://github.com/jonaprieto][jonaprieto]])
- Do not add =-src= suffix to links in HTML when running =juvix html=
[[https://github.com/anoma/juvix/pull/1429][#1429]]
([[https://github.com/paulcadman][paulcadman]])
- Add a Web version of TicTacToe
[[https://github.com/anoma/juvix/pull/1427][#1427]]
([[https://github.com/paulcadman][paulcadman]])
- WASM import all non-compile axioms with alphanum names in entrypoint
[[https://github.com/anoma/juvix/pull/1426][#1426]]
([[https://github.com/paulcadman][paulcadman]])
- Export all functions with alpha numeric names from entrypoint module
[[https://github.com/anoma/juvix/pull/1425][#1425]]
([[https://github.com/paulcadman][paulcadman]])
- Refactor [[https://github.com/anoma/juvix/pull/1420][#1420]]
([[https://github.com/jonaprieto][jonaprieto]])
- Permit axiom without a compile block
[[https://github.com/anoma/juvix/pull/1418][#1418]]
([[https://github.com/paulcadman][paulcadman]])
- Implement an html documentation generator similar to haddock (#1413)
[[https://github.com/anoma/juvix/pull/1416][#1416]]
([[https://github.com/janmasrovira][janmasrovira]])
- Fix version shell test for 0.2.2
[[https://github.com/anoma/juvix/pull/1415][#1415]]
([[https://github.com/paulcadman][paulcadman]])
- Remove Int from stdlib and update SimpleFungibleToken example
[[https://github.com/anoma/juvix/pull/1414][#1414]]
([[https://github.com/paulcadman][paulcadman]])
** [[https://github.com/anoma/juvix/tree/v0.2.2][v0.2.2]] (2022-07-25)
:PROPERTIES:
:CUSTOM_ID: v0.2.2-2022-07-25
:END:
[[https://github.com/anoma/juvix/compare/v0.2.1...v0.2.2][Full
Changelog]]
*Implemented enhancements:*
- Compute name dependency graph and filter unreachable definitions
[[https://github.com/anoma/juvix/pull/1408][#1408]]
([[https://github.com/lukaszcz][lukaszcz]])
- Support type aliases
[[https://github.com/anoma/juvix/pull/1404][#1404]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add debugging custom function to Prelude
[[https://github.com/anoma/juvix/pull/1401][#1401]]
([[https://github.com/jonaprieto][jonaprieto]])
- Add positivity check for data types
[[https://github.com/anoma/juvix/pull/1393][#1393]]
([[https://github.com/jonaprieto][jonaprieto]])
- Keep qualified names
[[https://github.com/anoma/juvix/pull/1392][#1392]]
([[https://github.com/janmasrovira][janmasrovira]])
- Direct translation from MicroJuvix to MiniC
[[https://github.com/anoma/juvix/pull/1386][#1386]]
([[https://github.com/lukaszcz][lukaszcz]])
- Widens the accepted symbol list
[[https://github.com/anoma/juvix/pull/1385][#1385]]
([[https://github.com/mariari][mariari]])
- Check all the type parameter names are different when declaring an
inductive type [[https://github.com/anoma/juvix/pull/1377][#1377]]
([[https://github.com/jonaprieto][jonaprieto]])
*Fixed bugs:*
- Curly braces are allowed nested in patterns
[[https://github.com/anoma/juvix/pull/1380][#1380]]
([[https://github.com/janmasrovira][janmasrovira]])
*Merged pull requests:*
- Add =Fail= effect (#1409)
[[https://github.com/anoma/juvix/pull/1411][#1411]]
([[https://github.com/janmasrovira][janmasrovira]])
- Refactor of typechecking and other checking processes
[[https://github.com/anoma/juvix/pull/1410][#1410]]
([[https://github.com/jonaprieto][jonaprieto]])
- Use bold for code in scoper error messages
[[https://github.com/anoma/juvix/pull/1403][#1403]]
([[https://github.com/janmasrovira][janmasrovira]])
- Replace ppSimple by text
[[https://github.com/anoma/juvix/pull/1402][#1402]]
([[https://github.com/jonaprieto][jonaprieto]])
- Implement some error messages (#1396)
[[https://github.com/anoma/juvix/pull/1400][#1400]]
([[https://github.com/lukaszcz][lukaszcz]])
- Refactor childs of pattern parentheses and braces
[[https://github.com/anoma/juvix/pull/1398][#1398]]
([[https://github.com/janmasrovira][janmasrovira]])
- Update Juvix standard-library
[[https://github.com/anoma/juvix/pull/1389][#1389]]
([[https://github.com/jonaprieto][jonaprieto]])
- Fix documentation generation
[[https://github.com/anoma/juvix/pull/1387][#1387]]
([[https://github.com/jonaprieto][jonaprieto]])
- Adds Collatz sequence generator example
[[https://github.com/anoma/juvix/pull/1384][#1384]]
([[https://github.com/paulcadman][paulcadman]])
- html-examples [[https://github.com/anoma/juvix/pull/1381][#1381]]
([[https://github.com/jonaprieto][jonaprieto]])
- Refine hole in type signature to function type
[[https://github.com/anoma/juvix/pull/1379][#1379]]
([[https://github.com/janmasrovira][janmasrovira]])
- Type checking fails when the type of a pattern is not given by the
signature [[https://github.com/anoma/juvix/pull/1378][#1378]]
([[https://github.com/janmasrovira][janmasrovira]])
- Set cname for gh-pages action
[[https://github.com/anoma/juvix/pull/1376][#1376]]
([[https://github.com/paulcadman][paulcadman]])
- Add fibonacci sequence example program
[[https://github.com/anoma/juvix/pull/1375][#1375]]
([[https://github.com/paulcadman][paulcadman]])
- Fix Changelog links and minors
[[https://github.com/anoma/juvix/pull/1371][#1371]]
([[https://github.com/jonaprieto][jonaprieto]])
- Add Version number to the emacs mode
[[https://github.com/anoma/juvix/pull/1320][#1320]]
([[https://github.com/mariari][mariari]])
** [[https://github.com/anoma/minijuvix/tree/v0.2.1][v0.2.1]] (2022-07-12)
[[https://github.com/anoma/minijuvix/compare/v0.2.0...v0.2.1][Full
Changelog]]
*Implemented enhancements:*
- Specialize commands of/for internal use
[[https://github.com/anoma/minijuvix/pull/270][#270]]
([[https://github.com/jonaprieto][jonaprieto]])
- Improve handling of location information for different objs
[[https://github.com/anoma/minijuvix/pull/263][#263]]
([[https://github.com/jonaprieto][jonaprieto]])
- Add issues and PR templates
[[https://github.com/anoma/minijuvix/pull/261][#261]]
([[https://github.com/jonaprieto][jonaprieto]])
- Throw error when reading a file that conflicts with embedded stdlib
[[https://github.com/anoma/minijuvix/pull/243][#243]]
([[https://github.com/paulcadman][paulcadman]])
- Embed standard library in the minijuvix binary
[[https://github.com/anoma/minijuvix/pull/210][#210]]
([[https://github.com/paulcadman][paulcadman]])
*Fixed bugs:*
- Fixed a bug with the path to walloc.c
[[https://github.com/anoma/minijuvix/pull/237][#237]]
([[https://github.com/lukaszcz][lukaszcz]])
- Perform ScopedToAbstract exactly once for each module
[[https://github.com/anoma/minijuvix/pull/223][#223]]
([[https://github.com/paulcadman][paulcadman]])
*Merged pull requests:*
- Label renaming [[https://github.com/anoma/minijuvix/pull/275][#275]]
([[https://github.com/jonaprieto][jonaprieto]])
- Update link to discord
[[https://github.com/anoma/minijuvix/pull/264][#264]]
([[https://github.com/Romainua][Romainua]])
- Include =open import= statements when generating HTML
[[https://github.com/anoma/minijuvix/pull/260][#260]]
([[https://github.com/paulcadman][paulcadman]])
- Renaming MiniJuvix to Juvix
[[https://github.com/anoma/minijuvix/pull/259][#259]]
([[https://github.com/jonaprieto][jonaprieto]])
- Updates tests to use the updated standard library
[[https://github.com/anoma/minijuvix/pull/253][#253]]
([[https://github.com/paulcadman][paulcadman]])
- Enforce C99 standard in the generated C files
[[https://github.com/anoma/minijuvix/pull/252][#252]]
([[https://github.com/lukaszcz][lukaszcz]])
- Restore mascot images to the minijuvix book
[[https://github.com/anoma/minijuvix/pull/250][#250]]
([[https://github.com/paulcadman][paulcadman]])
- Allow jumping to another module in emacs
[[https://github.com/anoma/minijuvix/pull/249][#249]]
([[https://github.com/janmasrovira][janmasrovira]])
- Restore Juvix mascot image to README
[[https://github.com/anoma/minijuvix/pull/248][#248]]
([[https://github.com/paulcadman][paulcadman]])
- Add emacs option =minijuvix-disable-embedded-stdlib=
[[https://github.com/anoma/minijuvix/pull/247][#247]]
([[https://github.com/paulcadman][paulcadman]])
- Deprecate GHC backend
[[https://github.com/anoma/minijuvix/pull/244][#244]]
([[https://github.com/lukaszcz][lukaszcz]])
- Removed 'eval' and 'print' keywords (#214)
[[https://github.com/anoma/minijuvix/pull/242][#242]]
([[https://github.com/lukaszcz][lukaszcz]])
- Add option to disable minijuvix input method
[[https://github.com/anoma/minijuvix/pull/239][#239]]
([[https://github.com/janmasrovira][janmasrovira]])
- Remove the 'match' keyword
[[https://github.com/anoma/minijuvix/pull/238][#238]]
([[https://github.com/lukaszcz][lukaszcz]])
- Removed tests/positive/HelloWorld.mjuvix and specified clang version
in the documentation [[https://github.com/anoma/minijuvix/pull/236][#236]]
([[https://github.com/lukaszcz][lukaszcz]])
- Filter symbol entries properly in the scoper
[[https://github.com/anoma/minijuvix/pull/234][#234]]
([[https://github.com/janmasrovira][janmasrovira]])
- Use the ModulesCache for =open= statements in ScopedToAbstract pass
[[https://github.com/anoma/minijuvix/pull/224][#224]]
([[https://github.com/paulcadman][paulcadman]])
- README: Include =--recursive= in git clone command to fetch stdlib
[[https://github.com/anoma/minijuvix/pull/211][#211]]
([[https://github.com/paulcadman][paulcadman]])
- Update project description v0.2.0
[[https://github.com/anoma/minijuvix/pull/209][#209]]
([[https://github.com/jonaprieto][jonaprieto]])
- Unify AST representation of types and expressions in MicroJuvix
[[https://github.com/anoma/minijuvix/pull/188][#188]]
([[https://github.com/janmasrovira][janmasrovira]])
** [[https://github.com/anoma/minijuvix/tree/v0.2.0][v0.2.0]]
(2022-06-28)
[[https://github.com/anoma/minijuvix/compare/v0.1.4...v0.2.0][Full
Changelog]]
*Implemented enhancements:*
- Support built in types
[[https://github.com/anoma/minijuvix/pull/192][#192]]
([[https://github.com/janmasrovira][janmasrovira]])
- Support partial application and closure passing in C backend
[[https://github.com/anoma/minijuvix/pull/190][#190]]
([[https://github.com/paulcadman][paulcadman]])
- Allow =open import= statements
[[https://github.com/anoma/minijuvix/pull/175][#175]]
([[https://github.com/janmasrovira][janmasrovira]])
- Remove TypeAny and adapt typechecking for literals
[[https://github.com/anoma/minijuvix/pull/173][#173]]
([[https://github.com/janmasrovira][janmasrovira]])
- Allow holes to be refined into function types
[[https://github.com/anoma/minijuvix/pull/165][#165]]
([[https://github.com/janmasrovira][janmasrovira]])
- Support implicit arguments
[[https://github.com/anoma/minijuvix/pull/144][#144]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add support for holes in type signatures
[[https://github.com/anoma/minijuvix/pull/141][#141]]
([[https://github.com/janmasrovira][janmasrovira]])
- Support function closures with no environment in minic
[[https://github.com/anoma/minijuvix/pull/137][#137]]
([[https://github.com/paulcadman][paulcadman]])
- Add holes for expressions in function clauses and inference support
[[https://github.com/anoma/minijuvix/pull/136][#136]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add "-Oz" optimization flag to clang args
[[https://github.com/anoma/minijuvix/pull/133][#133]]
([[https://github.com/paulcadman][paulcadman]])
- Add version and help option and root command to the CLI
[[https://github.com/anoma/minijuvix/pull/131][#131]]
([[https://github.com/jonaprieto][jonaprieto]])
*Fixed bugs:*
- Fix: Ignore implicit patterns and arguments in termination checking
[[https://github.com/anoma/minijuvix/pull/172][#172]]
([[https://github.com/janmasrovira][janmasrovira]])
- Fix: pretty printing for terminating keyword
[[https://github.com/anoma/minijuvix/pull/145][#145]]
([[https://github.com/jonaprieto][jonaprieto]])
*Merged pull requests:*
- Fix: proper error handling for typechecker errors
[[https://github.com/anoma/minijuvix/pull/189][#189]]
([[https://github.com/jonaprieto][jonaprieto]])
- Add juvix version info and date to HTML output
[[https://github.com/anoma/minijuvix/pull/186][#186]]
([[https://github.com/jonaprieto][jonaprieto]])
- Fix: Add check for constructor return types
[[https://github.com/anoma/minijuvix/pull/182][#182]]
([[https://github.com/jonaprieto][jonaprieto]])
- Use Abstract name in Abstract syntax and Micro/MonoJuvix
[[https://github.com/anoma/minijuvix/pull/181][#181]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add an option to specify the path where to put the HTML output
[[https://github.com/anoma/minijuvix/pull/179][#179]]
([[https://github.com/jonaprieto][jonaprieto]])
- Upgrade to ghc-9.2.3
[[https://github.com/anoma/minijuvix/pull/178][#178]]
([[https://github.com/janmasrovira][janmasrovira]])
- Replace dead link in README with a link to the Juvix book
[[https://github.com/anoma/minijuvix/pull/177][#177]]
([[https://github.com/paulcadman][paulcadman]])
- Embed HTML assets in the juvix binary
[[https://github.com/anoma/minijuvix/pull/176][#176]]
([[https://github.com/paulcadman][paulcadman]])
- Fix: identifiers with a keyword prefix cannot be parsed
[[https://github.com/anoma/minijuvix/pull/171][#171]]
([[https://github.com/janmasrovira][janmasrovira]])
- Improve filepath equality
[[https://github.com/anoma/minijuvix/pull/170][#170]]
([[https://github.com/janmasrovira][janmasrovira]])
- Update validity predicate milestone example to 0.2 syntax
[[https://github.com/anoma/minijuvix/pull/167][#167]]
([[https://github.com/paulcadman][paulcadman]])
- Fix links in documentation and update to new syntax
[[https://github.com/anoma/minijuvix/pull/163][#163]]
([[https://github.com/paulcadman][paulcadman]])
- Update stdlib to work with version 0.2
[[https://github.com/anoma/minijuvix/pull/160][#160]]
([[https://github.com/janmasrovira][janmasrovira]])
- Update README usage example to use the compile command
[[https://github.com/anoma/minijuvix/pull/158][#158]]
([[https://github.com/paulcadman][paulcadman]])
- Remove dead code related to the pipeline
[[https://github.com/anoma/minijuvix/pull/156][#156]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add negative test for AppLeftImplicit
[[https://github.com/anoma/minijuvix/pull/154][#154]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add positive test designed for implicit arguments
[[https://github.com/anoma/minijuvix/pull/153][#153]]
([[https://github.com/janmasrovira][janmasrovira]])
- Remove ExpressionTyped from MicroJuvix
[[https://github.com/anoma/minijuvix/pull/143][#143]]
([[https://github.com/janmasrovira][janmasrovira]])
- Revision for package.yaml and minor deletions
[[https://github.com/anoma/minijuvix/pull/135][#135]]
([[https://github.com/jonaprieto][jonaprieto]])
** [[https://github.com/anoma/minijuvix/tree/v0.1.4][v0.1.4]]
(2022-05-30)
[[https://github.com/anoma/minijuvix/compare/v0.1.3...v0.1.4][Full
Changelog]]
*Merged pull requests:*
- Generic Errors and refactoring
[[https://github.com/anoma/minijuvix/pull/123][#123]]
([[https://github.com/jonaprieto][jonaprieto]])
- Only generates docs if the pull request merges
[[https://github.com/anoma/minijuvix/pull/121][#121]]
([[https://github.com/jonaprieto][jonaprieto]])
- Add initial docs generation website
[[https://github.com/anoma/minijuvix/pull/119][#119]]
([[https://github.com/jonaprieto][jonaprieto]])
- Fix internal link in README
[[https://github.com/anoma/minijuvix/pull/116][#116]]
([[https://github.com/paulcadman][paulcadman]])
- Add minic-runtime for linking without libc
[[https://github.com/anoma/minijuvix/pull/113][#113]]
([[https://github.com/paulcadman][paulcadman]])
- Add termination checking to the pipeline
[[https://github.com/anoma/minijuvix/pull/111][#111]]
([[https://github.com/jonaprieto][jonaprieto]])
- Support uncurried higher order functions
[[https://github.com/anoma/minijuvix/pull/110][#110]]
([[https://github.com/paulcadman][paulcadman]])
- Improve error generation and handling
[[https://github.com/anoma/minijuvix/pull/108][#108]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add MiniC tests with clang+wasi-sdk
[[https://github.com/anoma/minijuvix/pull/105][#105]]
([[https://github.com/paulcadman][paulcadman]])
- Add usage example and move developer docs
[[https://github.com/anoma/minijuvix/pull/96][#96]]
([[https://github.com/paulcadman][paulcadman]])
- Refactor warning related stuff
[[https://github.com/anoma/minijuvix/pull/91][#91]]
([[https://github.com/janmasrovira][janmasrovira]])
- Remove Agda backend
[[https://github.com/anoma/minijuvix/pull/86][#86]]
([[https://github.com/paulcadman][paulcadman]])
*Implemented enhancements:*
- Add =compile= subcommand to generate binaries
[[https://github.com/anoma/juvix/issues/128][#128]]
- Add intervals to flycheck errors
[[https://github.com/anoma/juvix/issues/124][#124]]
- Improve error handling in juvix-mode
[[https://github.com/anoma/juvix/issues/107][#107]]
- Support multiple modules in compilation
[[https://github.com/anoma/juvix/issues/93][#93]]
- Add compile command to CLI
[[https://github.com/anoma/minijuvix/pull/130][#130]]
([[https://github.com/paulcadman][paulcadman]])
- Use Interval in GenericErrors
[[https://github.com/anoma/minijuvix/pull/125][#125]]
([[https://github.com/janmasrovira][janmasrovira]])
- Remove dev in the CI and other tweaks
[[https://github.com/anoma/minijuvix/pull/118][#118]]
([[https://github.com/jonaprieto][jonaprieto]])
- Highlight comments correctly
[[https://github.com/anoma/minijuvix/pull/106][#106]]
([[https://github.com/janmasrovira][janmasrovira]])
- Support multiple modules in compilation
[[https://github.com/anoma/minijuvix/pull/100][#100]]
([[https://github.com/janmasrovira][janmasrovira]])
- New target syntax and modular VP examples
[[https://github.com/anoma/minijuvix/pull/92][#92]]
([[https://github.com/jonaprieto][jonaprieto]])
*Fixed bugs:*
- Missing error messages when using throw/error
[[https://github.com/anoma/juvix/issues/117][#117]]
- Fix highlight of comments
[[https://github.com/anoma/juvix/issues/104][#104]]
- Fix juvix-mode coloring for projects with multiple modules
[[https://github.com/anoma/juvix/issues/101][#101]]
- Fix =highlight= command for modules with import statements
[[https://github.com/anoma/minijuvix/pull/102][#102]]
([[https://github.com/janmasrovira][janmasrovira]])
*Closed issues:*
- Deprecate the class JuvixError
[[https://github.com/anoma/juvix/issues/115][#115]]
- Add ToGenericError instance for the infix parsing errors
[[https://github.com/anoma/juvix/issues/114][#114]]
- Compile to WASM without linking libc
[[https://github.com/anoma/juvix/issues/112][#112]]
- Add the termination checker to the pipeline
[[https://github.com/anoma/juvix/issues/109][#109]]
- Use clang + wasi-sdk instead of emcc to compile to WASM
[[https://github.com/anoma/juvix/issues/103][#103]]
- Move developer tooling docs out of README
[[https://github.com/anoma/juvix/issues/95][#95]]
- Add pre-commit checks to CI checks
[[https://github.com/anoma/juvix/issues/94][#94]]
- Support higher order functions in C backend
[[https://github.com/anoma/juvix/issues/90][#90]]
- Remove dev from the list of branches in the CI
[[https://github.com/anoma/juvix/issues/89][#89]]
- Refactor warning related stuff
[[https://github.com/anoma/juvix/issues/87][#87]]
- The Juvix website
[[https://github.com/anoma/juvix/issues/51][#51]]
** [[https://github.com/anoma/minijuvix/tree/v0.1.3][v0.1.3]]
(2022-05-05)
[[https://github.com/anoma/minijuvix/compare/v0.1.2...v0.1.3][Full
Changelog]]
*Closed issues:*
- Monomorphisation naming inconsistency
[[https://github.com/anoma/juvix/issues/84][#84]]
- Remove BackendAgda
[[https://github.com/anoma/juvix/issues/83][#83]]
- Change terminating keyword behavior
[[https://github.com/anoma/juvix/issues/81][#81]]
- MonoJuvix =ExpressionTyped= is never used
[[https://github.com/anoma/juvix/issues/79][#79]]
- Bump stackage nightly and delete =allow-newer: true= from =stack.yaml=
[[https://github.com/anoma/juvix/issues/75][#75]]
- Generate automatically CHANGELOG and Github Release Notes
[[https://github.com/anoma/juvix/issues/73][#73]]
- Make flag --show-name-ids global
[[https://github.com/anoma/juvix/issues/61][#61]]
- Add C code generation backend
[[https://github.com/anoma/juvix/issues/60][#60]]
- Add polymorphism
[[https://github.com/anoma/juvix/issues/59][#59]]
- Add the compile keyword to the frontend syntax (support up to Scoping)
[[https://github.com/anoma/juvix/issues/58][#58]]
- Error with undefined or underscores
[[https://github.com/anoma/juvix/issues/54][#54]]
- Add support for other GHC and Stack stable version
[[https://github.com/anoma/juvix/issues/52][#52]]
- Autodetect output ANSI support when prettyprinting
[[https://github.com/anoma/juvix/issues/38][#38]]
- Terminating for type signatures
[[https://github.com/anoma/juvix/issues/11][#11]]
*Merged pull requests:*
- Remove agda backend
[[https://github.com/anoma/minijuvix/pull/86][#86]]
([[https://github.com/paulcadman][paulcadman]])
- 84 monomorphisation naming inconsistency
[[https://github.com/anoma/minijuvix/pull/85][#85]]
([[https://github.com/janmasrovira][janmasrovira]])
- Change terminating keyword behavior
[[https://github.com/anoma/minijuvix/pull/82][#82]]
([[https://github.com/jonaprieto][jonaprieto]])
- Remove unused constructor ExpressionTyped in Monojuvix
[[https://github.com/anoma/minijuvix/pull/80][#80]]
([[https://github.com/janmasrovira][janmasrovira]])
- Stricter stack builds and pedantic mode for CI
[[https://github.com/anoma/minijuvix/pull/78][#78]]
([[https://github.com/jonaprieto][jonaprieto]])
- Bump stackage version and remove allow-newer
[[https://github.com/anoma/minijuvix/pull/76][#76]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add automatically updates/issues/merged PRs to the changelog
[[https://github.com/anoma/minijuvix/pull/74][#74]]
([[https://github.com/jonaprieto][jonaprieto]])
- Add terminating keyword
[[https://github.com/anoma/minijuvix/pull/71][#71]]
([[https://github.com/jonaprieto][jonaprieto]])
- Monomorphization
[[https://github.com/anoma/minijuvix/pull/70][#70]]
([[https://github.com/janmasrovira][janmasrovira]])
- Remove StatementCompile in AST after scoping
[[https://github.com/anoma/minijuvix/pull/69][#69]]
([[https://github.com/paulcadman][paulcadman]])
- Add C code generation backend
[[https://github.com/anoma/minijuvix/pull/68][#68]]
([[https://github.com/paulcadman][paulcadman]])
- Check if stderr supports ANSI and print accordingly
[[https://github.com/anoma/minijuvix/pull/67][#67]]
([[https://github.com/janmasrovira][janmasrovira]])
- Add support for compile (by Jonathan)
[[https://github.com/anoma/minijuvix/pull/66][#66]]
([[https://github.com/paulcadman][paulcadman]])
- Add NameIdGen effect to the pipeline
[[https://github.com/anoma/minijuvix/pull/64][#64]]
([[https://github.com/janmasrovira][janmasrovira]])
- Make the =--show-name-ids= flag global
[[https://github.com/anoma/minijuvix/pull/63][#63]]
([[https://github.com/janmasrovira][janmasrovira]])
- Implement type checker with polymorphism
[[https://github.com/anoma/minijuvix/pull/62][#62]]
([[https://github.com/janmasrovira][janmasrovira]])
** [[https://github.com/anoma/minijuvix/tree/v0.1.2][v0.1.2]]
(2022-04-11)
[[https://github.com/anoma/minijuvix/compare/v0.1.1...v0.1.2][Full
Changelog]]
*Closed issues:*
- Add en emacs mode with support for scoped highlighting
[[https://github.com/anoma/juvix/issues/25][#25]]
- Add support for project root detection through a juvix.yaml file
[[https://github.com/anoma/juvix/issues/24][#24]]
- Add CLI cmd to generate juvix autocompletion files for fish and
zsh [[https://github.com/anoma/juvix/issues/23][#23]]
- Add pretty and typecheck subcommands to the microjuvix CLI
[[https://github.com/anoma/juvix/issues/21][#21]]
- Translate identifiers from MicroJuvix to MiniHaskell (valid Haskell)
[[https://github.com/anoma/juvix/issues/19][#19]]
- Implement the MiniHaskell to Haskell translation (prettyprinter)
[[https://github.com/anoma/juvix/issues/18][#18]]
- Implementation of a typechecker for MicroJuvix
[[https://github.com/anoma/juvix/issues/16][#16]]
- Add references to the Abstract AST to update compilation to
MiniHaskell [[https://github.com/anoma/juvix/issues/12][#12]]
- Order in the house
[[https://github.com/anoma/juvix/issues/10][#10]]
*Merged pull requests:*
- The Juvix project now follows the same goals as the original Juvix
project. [[https://github.com/anoma/minijuvix/pull/7][#7]]
([[https://github.com/jonaprieto][jonaprieto]])
- Dev→main [[https://github.com/anoma/minijuvix/pull/6][#6]]
([[https://github.com/jonaprieto][jonaprieto]])
- Big update including termination checking
[[https://github.com/anoma/minijuvix/pull/5][#5]]
([[https://github.com/janmasrovira][janmasrovira]])
- Parser and scoper
[[https://github.com/anoma/minijuvix/pull/3][#3]]
([[https://github.com/jonaprieto][jonaprieto]])
- Upgrade to ghc9 and use hpack
[[https://github.com/anoma/minijuvix/pull/2][#2]]
([[https://github.com/janmasrovira][janmasrovira]])
- Merge [[https://github.com/anoma/minijuvix/pull/1][#1]]
([[https://github.com/jonaprieto][jonaprieto]])
** [[https://github.com/anoma/minijuvix/tree/v0.1.1][v0.1.1]]
(2022-03-25)
[[https://github.com/anoma/minijuvix/compare/48abde93b4e5380acabac810e584f4b7a6618592...v0.1.1][Full
Changelog]]
- Add support in the parser/scoper for Axiom backends
- Add support for =foreign= keyword
- Add flag =--no-colors= for the scope command
- Upgrade to GHC 9.2.2
- Improve resolution of local symbols in the scoper
- Several new tests related to ambiguous symbols
- Add =--version= flag
- Add InfoTableBuilder effect for the scoper
*Closed issues:*
- Add diff output to the test suite
[[https://github.com/anoma/juvix/issues/9][#9]]
- Improve scoper ambiguity error messages
[[https://github.com/anoma/juvix/issues/8][#8]]