v0.2.5

v0.2.5 (2022-09-14)

Full Changelog

Fixed bugs:

• Properly type check patterns that need normalization #1472 (janmasrovira)
• Detect nested patterns as smaller in the termination checker #1524
• Fix developBeta in Core/Extra.hs #1487 (lukaszcz)
• Core/Extra/Recursors/Collector bugfix #1510 (lukaszcz)

Merged pull requests:

• Replace -> by := in lambda syntax #1533 (janmasrovira)
• 'Match' with complex patterns in Core #1530 (lukaszcz)
• Refactor CLI #1527 (janmasrovira)
• Add CanonicalProjection #1526 (janmasrovira)
• Make comma a delimiter #1525 (lukaszcz)
• Detect nested patterns as smaller in the termination checker #1524 (janmasrovira)
• Disallow tab characters as spaces #1523 (janmasrovira)
• Refactor destruct in Core/Extra/Base #1522 (lukaszcz)
• JuvixCore primitive types #1521 (lukaszcz)
• Enable autocompletion for the –theme flag #1519 (janmasrovira)
• Stripped version of Core Node datatype #1518 (lukaszcz)
• Add internal core read command #1517 (janmasrovira)
• Implement some instances for BinderList #1515 (janmasrovira)
• Back recursor types with type families #1514 (janmasrovira)
• Eager evaluation of Constr arguments #1513 (lukaszcz)
• Dynamic type in Core #1508 (lukaszcz)
• LetRec in Core #1507 (lukaszcz)
• Add Haddock and Agda licenses #1506 (janmasrovira)
• Fix docs webapp examples CI build #1505 (paulcadman)
• Add CLI usage examples doc and integrate with README #1504 (paulcadman)
• Refactor BinderInfo #1503 (lukaszcz)
• Make juvix compile default to native target #1502 (paulcadman)
• Refactor Node datatype #1501 (lukaszcz)
• Clean up import list in Pipeline #1499 (jonaprieto)
• Remove mono #1497 (jonaprieto)
• Remove Haskell support #1496 (jonaprieto)
• Implement lambda lifting #1494 (janmasrovira)
• Document Emacs installation and the 'exec-path' problem #1493 (lukaszcz)
• Add –allow-different-user to workflow stack command #1492 (paulcadman)
• Stack with github actions permissions workaround #1490 (paulcadman)
• Restructure recursors and add some lens interfaces #1489 (janmasrovira)
• Add a github action to build a static linux binary #1488 (paulcadman)
• Fix developBeta in Core/Extra.hs #1487 (lukaszcz)
• Add an option to show name ids in errors #1486 (lukaszcz)