canndrew/malk-agda

Attempt at a formalised implementation of a dependent type theory

Agda