Agda
| Agda | |
|---|---|
 | |
| Парадигма | програмування чистофункціональнеd  |
| Дата появи | 2007 |
| Розробник | Технологічний університет Чалмерса |
| Система типізації | строга типізація, manifest typingd, залежна типізаціяd, статична, nominative typingd і вивід типів |
| Під впливом від | Coq, Epigramd і Haskell |
| Мова реалізації | Haskell[1] |
| Операційна система | Windows і UNIX-подібні операційні системи |
| Ліцензія | Ліцензія BSD |
| Звичайні розширення файлів | .agda або .lagda |
| Репозиторій вихідного коду | github.com/agda/agda |
| Вебсайт | wiki.portal.chalmers.se/agda/pmwiki.php |
Agda - вільна функційна мова програмування створена 2007 року, під впливом Coq, Epigram та Haskell.
Посилання
- Офіційний сайт
- Agda [Архівовано 4 лютого 2020 у Wayback Machine.] на сайті Free Software Directory
- Agda на Quora
- Agda [Архівовано 22 вересня 2020 у Wayback Machine.] на StackOverflow