@hackage equational-reasoning0.4.0.0

Proof assistant for Haskell using DataKinds & PolyKinds

A simple convenient library to write equational / preorder proof as in Agda.