pisigma-0.1.0.1: dependently typed core language

The pisigma package

dependently typed core language

Properties

Versions0.1.0.1, 0.1.0.2, 0.1.0.3, 0.2, 0.2.1
Dependenciesansi-wl-pprint (≥0.5 & <1), array (0.2.*), base (4.*), haskeline (0.6.*), mtl (1.1.*), parsec (3.*)
LicenseBSD3
AuthorThorsten Altenkirch <txa@cs.nott.ac.uk>, Andres Loeh <kspisigma@andres-loeh.de>
MaintainerThorsten Altenkirch <txa@cs.nott.ac.uk>, Andres Loeh <kspisigma@andres-loeh.de>
CategoryDevelopment, Language, Dependent Types
Executablespisigma
Upload dateSat Oct 10 15:50:01 UTC 2009
Uploaded byAndresLoeh

Downloads