The pisigma package

[Tags:bsd3, library, program]

dependently typed core language

Properties

Versions 0.1.0.1, 0.1.0.2, 0.1.0.3, 0.2, 0.2.1
Dependencies array (==0.2.*), base (>=4.0 && <5.0), bytestring (>=0.9 && <1.0), haskeline (==0.6.*), haskeline-class (>=0.6.1 && <0.7), mpppc (>=0.1.0 && <0.2), mtl (==1.1.*), parsec (>=3.0 && <4.0), text (==0.5.*), utf8-string (>=0.3.5 && <0.4) [details]
License BSD3
Author Thorsten Altenkirch <txa@cs.nott.ac.uk>, Andres Loeh <kspisigma@andres-loeh.de>, Nils Anders Danielsson <nad@cs.nott.ac.uk>, Nicolas Oury <Nicolas.Oury@ed.ac.uk>, Darin Morrison <dwm@cs.nott.ac.uk>
Maintainer Thorsten Altenkirch <txa@cs.nott.ac.uk>, Andres Loeh <kspisigma@andres-loeh.de>
Stability Unknown
Category Development, Language, Dependent Types
Uploaded Tue Dec 1 18:36:17 UTC 2009 by AndresLoeh
Distributions NixOS:0.2.1
Downloads 1010 total (10 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-24 [all 4 reports]

Modules

  • Language
    • PiSigma
      • Language.PiSigma.Check
      • Language.PiSigma.Equality
      • Language.PiSigma.Evaluate
      • Language.PiSigma.Lexer
      • Language.PiSigma.Normalise
      • Language.PiSigma.Parser
      • Language.PiSigma.Pretty
      • Language.PiSigma.Syntax
      • Util
        • String
          • Language.PiSigma.Util.String.Internal
          • Language.PiSigma.Util.String.Parser

Downloads

Maintainer's Corner

For package maintainers and hackage trustees