pisigma: dependently typed core language
dependently typed core language
| Versions | 0.1.0.1, 0.1.0.2, 0.1.0.3 |
|---|---|
| Dependencies | ansi-wl-pprint (>=0.5 && <1), array (>=0.2 && <0.3), base (>=4 && <5), haskeline (>=0.6 && <0.7), mtl (>=1.1 && <1.2), parsec (>=3 && <4) |
| 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 | Sun Oct 11 22:26:45 UTC 2009 |
| Uploaded by | AndresLoeh |
| Built on | ghc-6.10 |
| Distributions | Arch: 0.1.0.3, Arch: 0.1.0.2 |
Downloads
- pisigma-0.1.0.2.tar.gz (Cabal source package)
- package description (included in the package)