« Changelog History


decidable v0.1.1.0 Release Notes

Release Date: 2018-10-12 // over 5 years ago

  • 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.