| Version 4 (modified by ulfn, 5 years ago) |
|---|
Agda is a dependently typed programming language. Read more on the official wiki.
| Version 4 (modified by ulfn, 5 years ago) |
|---|
Agda is a dependently typed programming language. Read more on the official wiki.
Powered by Trac 0.11.1
By Edgewall Software.
Visit the Trac open source project at
http://trac.edgewall.org/