Agda

Agda
Парадигма	програмування чистофункціональнеd
Дата появи	2007
Розробник	Технологічний університет Чалмерса
Останній реліз
Система типізації	строга типізація, manifest typingd, залежна типізаціяd, статична, nominative typingd і вивід типів
Під впливом від	Rocq, Epigramd і Haskell
Мова реалізації	Haskell
Операційна система	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