Dependently Typed Lambda Calculus Summary This is the repo for me to warp my head around dependent types following this paper. Contributing Yes, please do! See CONTRIBUTING for guidelines. License See COPYING. Copyright (c) 2015 Jeremy Bi.