Constructing Simple and Mutual Inductive Types in Agda.
Primary LanguageAgda
No issues in this repository yet.