A tutorial implementation of a dependently typed lambda calculus [pdf]https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf by xfer • 7 years ago 2 0 7 years agoANandres-loeh.de