gpo.zugaina.org

Search Portage & Overlays:

dev-haskell/type-natural

Type-level natural and proofs of their properties

Screenshots

  • type-natural-0.3.0.0
    ~amd64 ~x86
    doc hscolour profile

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