0.2 (22 January 2025)

• Allow >< as syntax for product types
• Use syntax T and F for booleans
• New :table command
• Suggest alternate variable names based on edit distance
• Fix crash when computing 0^(-1)
• min and max are now prefix instead of infix
• Display multiple example types for things with nontrivial polymorphism (#388)
• Randomness primitives (Justin Grubbs, #390)
• Automatic memoization (Justin Grubbs, #394)
• Remove decimal output
• Function pattern coverage checking (Colin Phillips, #434)
• A lot more documentation, including the start of a "gentle introduction"
• Add support for GHC 9.10 and drop 9.4
• Better parser for :load (#430)
• Better test result reporting (#428)

0.1.6 (16 December 2023)

• A bunch more documentation
• Allow != as a synonym for /=
• Allow =< and => as aliases for <= and >=, respectively
• Better reporting of test results
• Load standard library modules immediately on startup
• :doc now works for case expressions, wildcard patterns, unit and Unit
• Allow optional commas on either side of an ellipsis (#361)
• Propositions can be combined with binary operators (thanks to @cally-cmd)

0.1.5 (12 March 2022)

• Syntax errors in function definitions now result in much more helpful error messages. Before, it would just complain about something being wrong with the '=' sign. (#346)

0.1.4 (10 March 2022)

• New features or syntax

  • if and when are now synonyms

• Bug fixes

  • Only allow constructing sets and bags with element types that can be compared (#306)

• UI

  • Test results are now printed in the same order in which they were declared

0.1.3.1 (5 March 2022)

• Fix #340: disco no longer crashes when encountering an undefined name at runtime, but prints a nice error message instead.

0.1.3.0 (3 March 2022)

• New features or syntax

  • ∈ now works as a synonym for elem
  • add → and ↔ as synonyms for ->, <->

• Additional documentation for |~|, power

• UI

  • --help, --version, and the welcome message now all report the current version number
  • Typechecking errors now report the name of the thing being typechecked when the failure occurred
  • The values of top-level expressions are now printed when :loading

0.1.2.0 (12 February 2022)

• New features or syntax

  • Add String type synonym
  • New iff / <-> operator
  • New Cartesian product operator ><
  • |~| notation now denotes container size in addition to absolute value

• Documentation

  • :doc command now works on many more things
  • A lot of additional documentation and some improved error messages

• A few small bug fixes related to parsing

0.1.1.0 (21 January 2022)

• ->, /\, \/ syntax for implies, and, or
• truthtable.disco example
• Coinductively check user-defined types for qualifiers (#317)
• Additional documentation

0.1.0.0 (17 January 2022): initial release