How to implement dependent type theory I (2012)(math.andrej.com)41 points by todsacerdoti 3 years ago | 6 comments