Name		Name	Last commit message	Last commit date
app		app
src		src
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.org		README.org
lambda-pi.cabal		lambda-pi.cabal

Repository files navigation

Lambda Pi

An implementation of lambda pi, a minimal, dependently typed lambda calculus.

References

A. Löh, C. McBride, W. Swierstra (2010) A Tutorial Implementation of a Dependently Typed Lambda Calculus, Fundamenta Informaticae

About

An implementation of a dependently typed lambda calculus.

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages