Agda

Agda
Парадигма	purely functional programmingd
Дата появи	2007
Останній реліз
Система типізації	строга типізація, manifest typingd, dependent typingd, статична, nominative typingd і вивід типів
Під впливом від	Coq, Epigramd і Haskell
Мова реалізації	Haskell
Операційна система	Windows і UNIX-подібні операційні системи
Ліцензія	Ліцензія BSD
Звичайні розширення файлів	.agda або .lagda
Репозиторій вихідного коду	github.com/agda/agda
Вебсайт	wiki.portal.chalmers.se/agda/pmwiki.php

Agda - вільна функціональна мова програмування створена 2007 року, під впливом Coq, Epigram^[en] та Haskell.

Це незавершена стаття про мови програмування. Ви можете допомогти проєкту, виправивши або дописавши її.

• Офіційний сайт
• Agda [Архівовано 4 лютого 2020 у Wayback Machine.] на сайті Free Software Directory^[en]
• Agda на Quora
• Agda [Архівовано 22 вересня 2020 у Wayback Machine.] на StackOverflow