pi-forall: Demo implementation of typechecker for dependently-typed language

[ bsd3, compilers-interpreters, library, program ] [ Propose Tags ] [ Report a vulnerability ]

An implementation of a simple dependently typed language for OPLSS 2013

Modules

Main
Parser
Syntax
TypeCheck

Downloads

pi-forall-0.1.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

sweirich

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1.1
Dependencies	array (>=0.3.0.2 && <0.6), base (>=4 && <5), containers, directory, filepath, HUnit, mtl (>=2.2.1), parsec (>=3.1.8 && <3.2), pretty (>=1.0.1.0), QuickCheck, transformers, unbound-generics (>=0.2) [details]
Tested with	ghc ==7.8.4, ghc ==7.10.3, ghc ==8.0.1
License	BSD-3-Clause
Copyright	(c) 2013-2016 University of Pennsylvania
Author	Stephanie Weirich <sweirich@cis.upenn.edu>, based on code by Trellys Team <trellys@...>
Maintainer	Stephanie Weirich <sweirich@cis.upenn.edu>
Category	Compilers/Interpreters
Home page	https://github.com/sweirich/pi-forall
Uploaded	by sweirich at 2016-08-23T15:12:54Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Executables	pi-forall
Downloads	939 total (3 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2016-11-20 [all 3 reports]