Changelog
=========

Version 0.1.1.0
---------------

*October 12, 2018*

<https://github.com/mstksg/decidable/releases/tag/v0.1.1.0>

*   `flipDecision`, `forgetDisproof`, `forgetProof`, `isProved`, and
    `isDisproved` added to *Data.Type.Predicate* module.
*   `ProvableTC`, `DeccidableTC`, `proveTC`, and `decideTC` helper functions
    and constraints
*   *Data.Type.Predicate.Auto* module, for generating witnesses at
    compile-time.
*   Instances for injection and projection out of `&&&` and `|||`, with some
    tricks to prevent overlapping instance issues.

Version 0.1.0.0
---------------

*October 10, 2018*

<https://github.com/mstksg/decidable/releases/tag/v0.1.0.0>

*   Initial release.