zaklogician/typical-antiphrasis
Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
AgdaBSD-3-Clause
Issues
- 0
Musical coinduction and sized types
#2 opened by zaklogician - 0
Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
AgdaBSD-3-Clause