@hackage / equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

0.7.1.0

Security Advisories

No advisories found.