Changelog of @hackage/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

    • 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