@hackage equational-reasoning0.6.0.2

Proof assistant for Haskell using DataKinds & PolyKinds

A simple convenient library to write equational / preorder proof as in Agda. Since 0.6.0.0, this no longer depends on singletons package, and the Proof.Induction module goes to equational-reasoning-induction package.