Changelog for disco-0.1.2.0
-
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
- Add
-
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, ortruthtable.disco
example- Coinductively check user-defined types for qualifiers (#317)
- Additional documentation
-
0.1.0.0 (17 January 2022): initial release