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 | ansi-wl-pprint (≥0.5 & <1), array (0.2.*), base (4.*), haskeline (0.6.*), mtl (1.1.*), parsec (3.*) |
| 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> |
| Category | Development, Language, Dependent Types |
| Executables | pisigma |
| Upload date | Sat Oct 10 15:50:01 UTC 2009 |
| Uploaded by | AndresLoeh |
Downloads
- pisigma-0.1.0.1.tar.gz (Cabal source package)
- package description (included in the package)