gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

Screenshots

  • equational-reasoning-0.2.0.7
    ~amd64 ~x86
    doc hscolour profile

    View      Download      Browse     License: BSD   
    Overlay: booboo (layman)