Beast code in Giters

Andrea Vezzosi's repositories

Miller/pattern unification in Agda

Language:Agda62 30

Hereditary Substitution

ITT9200 - A reading group on "Syntax and Semantics of Dependent Types" by Martin Hofmann

Formalizing nbe in agda

Language:Agda020

Language:Agda020

Combinators for manipulating locally-nameless generalized de Bruijn terms

Language:HaskellNOASSERTION020

Implementation of Univalence in Cubical Sets

Language:HaskellMIT020

Language:TeX030

Language:Agda020

020

Progetto di Paradigmi di Programmazione

Language:Prolog000

miscellaneous stuff related to TinyAgda

Language:Haskell020