Changelog for disco-0.1.6

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