Andrea Vezzosi's repositories
hereditary
Hereditary Substitution
categories
Categories parametrized by morphism equality, in Agda
PP
Progetto di Paradigmi di Programmazione
Language:Prolog000
Hereditary Substitution
Categories parametrized by morphism equality, in Agda
Progetto di Paradigmi di Programmazione