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