Changelog for singleton-bool-0.1.3
-
0.1.3.0
- Add
reifyBool
andreflectBool
. - Drop GHC-7.4 support (broken
PolyKinds
)
- Add
-
0.1.2.0
- Enable
PolyKinds
on GHC >= 7.6 - Add
sboolEqRefl :: SBoolI (a == b) => Maybe (a :~: b)
- Enable
-
0.1.1.0
- Add
eqToRefl
,eqCast
,trivialRefl
- Add