The pisigma package

[Tags: bsd3, library, program]

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 dateSun Oct 11 22:26:45 UTC 2009
Uploaded byAndresLoeh
Downloads408 total (39 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees