Skip to content

v0.1.5.0

v0.1.5.0: Version 0.1.5.0
@mstksg mstksg tagged this 06 Mar 17:09 
*   Add `allToAny` to *Data.Type.Predicate.Quantification*.
*   Add `PPMapV`, `EqBy`, and `IsTC` to *Data.Type.Predicate.Param*.
*   Kind-indexed singletons for indices in *Data.Type.Universe*.
Assets 2