packages feed

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`