esmolanka / simple-pi

Simplistic implementation of dependently typed lambda calculus

Geek Repo

Github PK Tool