pisigma: dependently typed core language

[ bsd3, dependent-types, development, language, library, program ] [ Propose Tags ]

dependently typed core language

Versions [faq] 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 BSD-3-Clause
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
Uploaded by AndresLoeh at 2009-10-11T22:26:45Z
Distributions NixOS:0.2.1
Executables pisigma
Downloads 3271 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-12-31 [all 6 reports]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees