3 lines
No EOL
162 B
Text
3 lines
No EOL
162 B
Text
{{language|Agda
|
|
|site=http://wiki.portal.chalmers.se/agda/pmwiki.php}}{{implementation|Agda}}{{stub}}
|
|
Agda is a dependently typed functional programming language. |