« Changelog History


decidable v0.1.4.0 Release Notes

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

  • October 29, 2018

    🚀 https://github.com/mstksg/decidable/releases/tag/v0.1.4.0

    • Added tripleNegation and negateTwice to Data.Type.Predicate.Logic, for more constructivist principles.
    • Renamed excludedMiddle to complementation.
    • Add TyPP, SearchableTC, searchTC, SelectableTC, selectTC to Data.Type.Predicate.Param, to mirror TyPred and the DecidableTC/ProvableTC interface from Data.Type.Predicate