Loading Inductive types are initial algebras
Beta
Loading Inductive types are initial algebras
Beta
Inductive types are initial algebras
-
Language
- Agda (Beta)
-
Language Version
Loading description...
Fundamentals