The pisigma package

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)
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>
Category	Development, Language, Dependent Types
Executables	pisigma
Upload date	Tue Dec 1 18:36:17 UTC 2009
Uploaded by	AndresLoeh
Build failure	ghc-6.12 (log)