An Agda formalization of the raw syntax for dependent type theories.
andrejbauer/dependent-type-theory-syntax
An Agda formalization of raw syntax for dependent type theory
AgdaMIT
An Agda formalization of raw syntax for dependent type theory
AgdaMIT