Attempt at a formalised implementation of a dependent type theory
Primary LanguageAgda
This repository is not active