gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/dec

Decidable propositions

Screenshots

  • dec-0.0.5
    ~amd64 ~arm64 ~ppc64 ~riscv ~x86
    doc hscolour profile

    View      Download      Browse     License: BSD   
    Overlay: gentoo
  • dec-0.0.3
    ~amd64 ~arm64 ~ppc64 ~riscv ~x86
    doc hscolour profile

    View      Download      Browse     License: BSD   
    Overlay: gentoo