An implementation of Lambda-Pi in Agda
Repository from Github https://github.comandreasabel/lambda-piRepository from Github https://github.comandreasabel/lambda-pi