{"ref":null,"description":"Code accompanying the paper Embedding a Logical Theory of Constructions in Agda by  Ana Bove, Peter Dybjer, and Andrés Sicard-Ramírez (PLPV'09).","master_branch":"master","ref_type":"repository"}