graded-type-theory/graded-type-theory

A Logical Relation for Martin-Löf Type Theory in Agda

AgdaNOASSERTION