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