* Changelog #+begin_html Juvix Mascot #+end_html * Changelog ** [[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]]