decidable v0.1.5.0 Release Notes
Release Date: 2019-03-06 // about 5 years ago-
March 6, 2018
🚀 https://github.com/mstksg/decidable/releases/tag/v0.1.5.0
- Add
allToAny
to Data.Type.Predicate.Quantification. - Add
PPMapV
,EqBy
, andIsTC
to Data.Type.Predicate.Param. - Kind-indexed singletons for indices in Data.Type.Universe.
- Add