WikiDer > Agda
Agda
Agda | ||||
| Dateierweiterungen | .agda, .lagda | |||
| Webseite | (und) [1] | |||
| ||||
Agda ist ein abhängiger Typ funktionale Programmiersprache, ursprünglich entwickelt von Ulf Norell am Technische Universität Chalmers. Agda ist nicht Turingkomplett.