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.