v0.2.3

v0.2.3 (2022-08-15)

Full Changelog

Implemented enhancements:

• add name and version to juvix.yaml #1422 (janmasrovira)

Fixed bugs:

• Properly handle paragraphs in judoc #1447 (janmasrovira)

Merged pull requests:

• Give a proper type to literal natural numbers #1453 (janmasrovira)
• Add the option to output json in the juvix internal highlight command #1450
  (janmasrovira) for supporting the new Juvix Mode for VSCode (jonaprieto)
• Allow _ in Wasm exported names to support Anoma signature #1449 (paulcadman)
• Add Towers of Hanoi and Pascal triangle examples #1446 (paulcadman)
• Add juvix init command #1445 (janmasrovira)
• Refactor pretty to reduce duplication #1443 (janmasrovira)
• Add initial support for examples in Html documentation #1442 (janmasrovira)
• Add revisions to README #1440 (jonaprieto)
• CI: Run build on push to main #1437 (paulcadman)
• Add doctor subcommand #1436 (paulcadman)
• CI checkout repo before cache and use recommended cache strategy #1435 (paulcadman)
• Various documentation adjustments #1434 (paulcadman)
• Setup Clang before building docs in CI #1433 (paulcadman)
• Major revisions to Makefile #1431 (jonaprieto)
• Do not add -src suffix to links in HTML when running juvix html #1429 (paulcadman)
• Add a Web version of TicTacToe #1427 (paulcadman)
• WASM import all non-compile axioms with alphanum names in entrypoint #1426 (paulcadman)
• Export all functions with alpha numeric names from entrypoint module #1425 (paulcadman)
• Refactor #1420 (jonaprieto)
• Permit axiom without a compile block #1418 (paulcadman)
• Implement an html documentation generator similar to haddock (#1413) #1416 (janmasrovira)
• Fix version shell test for 0.2.2 #1415 (paulcadman)
• Remove Int from stdlib and update SimpleFungibleToken example #1414 (paulcadman)