@hackage pi-forall0.1.1
Demo implementation of typechecker for dependently-typed language
Categories
License
BSD-3-Clause
Maintainer
Stephanie Weirich <sweirich@cis.upenn.edu>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.1.1 Tue, 23 Aug 2016
Installation
Tested Compilers
Dependencies (12)
- HUnit
- QuickCheck
- array >=0.3.0.2 && <0.6
- base >=4 && <5
- containers
- directory Show all…
Dependents (1)
@hackage/acme-everything
An implementation of a simple dependently typed language for OPLSS 2013