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 ansi-wl-pprint (>=0.5 && <1), array (==0.2.*), base (==4.*), haskeline (==0.6.*), mtl (==1.1.*), parsec (==3.*) [details]
License BSD3
Author Thorsten Altenkirch <txa@cs.nott.ac.uk>, Andres Loeh <kspisigma@andres-loeh.de>
Maintainer Thorsten Altenkirch <txa@cs.nott.ac.uk>, Andres Loeh <kspisigma@andres-loeh.de>
Stability Unknown
Category Development, Language, Dependent Types
Uploaded Sat Oct 10 15:50:01 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]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees