Category:Agda2
(Redirected from Agda2)
![Language](http://static.miraheze.org/rosettacodewiki/thumb/2/27/Rcode-button-language-crushed.png/64px-Rcode-button-language-crushed.png)
This programming language may be used to instruct a computer to perform a task.
See Also: |
|
---|
Agda2 is an implementation of Agda2.
Other implementations of Agda2.
Subcategories
This category has the following 3 subcategories, out of 3 total.
@
- Agda2 examples needing attention (empty)
- Agda2 User (empty)