1) Programming language
Found on
https://www.crosswordclues.com/clue/agda
[programming language] Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation described in his PhD thesis. The current version of Agda is Agda 2. Agda2 is a complete rewrite of Agda, and as such it`s a completely different language which doesn`t...
Found on
http://en.wikipedia.org/wiki/Agda_(programming_language)
No exact match found.
