Changelog for decidable-0.1.1.0
Changelog
Version 0.1.1.0
October 12, 2018
https://github.com/mstksg/decidable/releases/tag/v0.1.1.0
flipDecision
,forgetDisproof
,forgetProof
,isProved
, andisDisproved
added to Data.Type.Predicate module.ProvableTC
,DeccidableTC
,proveTC
, anddecideTC
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.