gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/dependent-sum

Dependent sum type

Screenshots

  • dependent-sum-0.7.1.0-r1
    ~amd64 ~x86
    doc hscolour hoogle profile

    View      Download      Browse     License: public-domain   
    Overlay: haskell
  • dependent-sum-0.6.2.0
    ~amd64 ~x86
    doc hscolour hoogle profile

    View      Download      Browse     License: public-domain   
    Overlay: haskell
  • dependent-sum-0.4
    ~amd64 ~x86
    doc hscolour hoogle profile

    View      Download      Browse     License: public-domain   
    Overlay: haskell

Runtime Dependencies

dependent-sum-0.7.1.0-r1


>=dev-haskell/constraints-extras-0.2:=[profile?
]

<dev-haskell/constraints-extras-0.4:=[profile?
]

>=dev-haskell/some-1.0.1:=[profile?
]
>=dev-lang/ghc-8.0.1:=

dependent-sum-0.6.2.0


>=dev-haskell/constraints-extras-0.2:=[profile?
]

<dev-haskell/constraints-extras-0.4:=[profile?
]
>=dev-lang/ghc-8.0.1:=

dependent-sum-0.4

>=dev-lang/ghc-7.4.1:=