* 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