plts/deptypes at base · ayazhafiz/plts · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
.ocamlformat		.ocamlformat
README.md		README.md
dune		dune
eval.ml		eval.ml
language.ml		language.ml
lexer.mll		lexer.mll
main.ml		main.ml
parser.mly		parser.mly
run		run
test		test
test.input		test.input
typecheck.ml		typecheck.ml

README.md

This is an implementation of the dependently typed lambda calculus, ala ATTAPL Chapter 2.