Loading Exploring ways to evaluate and compile a trivial language
5 kyu
Loading Exploring ways to evaluate and compile a trivial language
5 kyu
Exploring ways to evaluate and compile a trivial language
54 of 85solitude
-
Language
- Agda (Beta)
- Coq
- Idris (Beta)
-
Language Version
Loading description...
Theorem Proving
Fundamentals