A tutorial implementation of a dependently typed lambda calculus (2001) [pdf](andres-loeh.de)
andres-loeh.de
A tutorial implementation of a dependently typed lambda calculus (2001) [pdf]
https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf
0 comments
—
https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf
—