GitHub - suhailshergill/lambdapi: A Tutorial Implementation of a Dependently Typed Lambda Calculus · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.gitignore		.gitignore
LambdaPi-README		LambdaPi-README
LambdaPi.hs		LambdaPi.hs
prelude.lp		prelude.lp

About

A Tutorial Implementation of a Dependently Typed Lambda Calculus

Report repository

Releases

No releases published

Packages

Contributors

Languages

Haskell 100.0%