singleton-bool-0.1.2.0: CHANGELOG.md

- 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`