v0.7.0

The main component of this release is the support for Typescript syntax:

What's Changed

• Typescript Support by @melvic-ybanez in #105
• Fix union over tuples implementation by @melvic-ybanez in #106

Full Changelog: v0.6.1...v0.7.0

v0.6.1

Fixed some bugs in the Python parser

What's Changed

• Reorganize readme sections by @melvic-ybanez in #103
• Make tuple and union component types proposition by @melvic-ybanez in #104

Full Changelog: v0.6.0...v0.6.1

v0.6.0

The main feature for this release is the support for Python syntax.

What's Changed

• Improve code prettifier by @melvic-ybanez in #101
• Python support by @melvic-ybanez in #102

Full Changelog: v0.5.0...v0.6.0

v0.5.0

What's Changed

• Update readme docs by @melvic-ybanez in #93
• A minor commit to remove all warnings by @mlliarm in #94
• Assumptions by @melvic-ybanez in #96
• Repl Assumptions by @melvic-ybanez in #97

New Contributors

• @mlliarm made their first contribution in #94

Full Changelog: v0.4.0...v0.5.0

v0.4.0

The main component of this release is the support for Haskell syntax.
Other changes are listed below.

What's Changed

• Custom color scheme by @melvic-ybanez in #76
• Fix multiline parsing by @melvic-ybanez in #77
• Add tests for text-area contents (via Generate all) by @melvic-ybanez in #79
• Fix the start of the repl by @melvic-ybanez in #81
• Remove extra parens by @melvic-ybanez in #85
• Haskell support by @melvic-ybanez in #84
• Fix conjunction stringification by @melvic-ybanez in #86
• Fix Haskell rendering a function application over a lambda by @melvic-ybanez in #89
• Fix pattern matching for either over tuples by @melvic-ybanez in #90
• Include the output package by @melvic-ybanez in #91
• Fix Haskell tuple rendering by @melvic-ybanez in #92

Full Changelog: v0.3.0...v0.4.0

v0.3.0

Chi can now check if two signatures are isomorphic:

What's Changed

• Checks if two objects are isomorphic with each oher by @melvic-ybanez in #69
• Fix proof construction from function-to-product by @melvic-ybanez in #70
• Add support for comments in the UI by @melvic-ybanez in #67
• Fix function to conjunction normalization by @melvic-ybanez in #71
• Fix named-params support for isomorphism by @melvic-ybanez in #72
• Multi line inputs by @melvic-ybanez in #74
• Fix associativity of disjunctions as when consequents by @melvic-ybanez in #73

Full Changelog: v0.2.0...v0.3.0

v0.2.0

What's Changed

• Simplify generated code by @melvic-ybanez in #46
• Abstract away extra output details in tests by @melvic-ybanez in #47
• Scala prefs by @melvic-ybanez in #54
• Fonts by @melvic-ybanez in #56
• Add toolbar by @melvic-ybanez in #57
• Scala prefs preview by @melvic-ybanez in #60
• Integrate editor preferences by @melvic-ybanez in #61
• Fix toggling of line numbers by @melvic-ybanez in #62
• Java types by @melvic-ybanez in #65
• Add option to show extra info in the editor settings preview by @melvic-ybanez in #63

Full Changelog: v0.1.0...v0.2.0

v0.1.0

What's Changed

• Add support for built-in and standard types by @melvic-ybanez in #44

Full Changelog: v0.1.0-rc3...v0.1.0

v0.1.0-rc3

This release focuses on adding a simple editor UI.

Screen.Recording.2022-04-02.at.11.06.03.PM.mov

What's Changed

• UI by @melvic-ybanez in #40
• Update readme by @melvic-ybanez in #41

Full Changelog: v0.1.0-rc2...v0.1.0-rc3

v0.1.0-RC2

What's Changed

• Make search for implication assumption recursive by @melvic-ybanez in #33
• Refactor output by @melvic-ybanez in #34
• Fix java syntax for bifunction lambdas by @melvic-ybanez in #36
• Refactor prover implementation by @melvic-ybanez in #38

Full Changelog: v0.1.0-rc...v0.1.0-rc2