Anonymous user
Category:Agda: Difference between revisions
Added the web site and a brief description.
(The actual name is Agda. The latest 'version' is 2.) |
(Added the web site and a brief description.) |
||
Line 1:
{{language|Agda
|site=http://wiki.portal.chalmers.se/agda/pmwiki.php}}{{implementation|Agda}}{{stub}}
Agda is a dependently typed functional programming language.
| |||