Definitions from Wikipedia (Agda)

▸ noun:  a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation described in his PhD thesis.

---

▸ Words similar to agda
▸ Usage examples for agda

▸ Idioms related to agda
▸ Wikipedia articles (New!)
▸ Popular adjectives describing agda
▸ Words that often appear near agda
▸ Rhymes of agda

▸ Invented words related to agda