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