@hackage / pi-forall

Demo implementation of typechecker for dependently-typed language

Latest0.1.1

About

Metadata

  • Last updated , by sweirich
  • License BSD-3-Clause
  • Categories Compilers and Interpreters
  • Maintained by: Stephanie Weirich <sweirich@cis.upenn.edu>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 7.10.3

Readme

An implementation of a simple dependently typed language for OPLSS 2013