/typical-antiphrasis

Paradoxes of type theory, described didactically. With accompanying proofs in Agda.

Primary LanguageAgdaBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Issues