Wes @weskerfoot"A tutorial implementation of a dependently typed lambda calculus" https://andres-loeh.de/LambdaPi/LambdaPi.pdf…2:06 PM · Jun 3, 2019·Twitter Web Client
