Agda

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

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

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

Посилання[ред. | ред. код]

Agda

Парадигма	purely functional programming^d
Дата появи	2007
Останній реліз	2.6.2 (19 червня 2021)^[1]
Система типізації	строга типізація^d, manifest typing^d, dependently typed programming^d, статична^d, nominative typing^d і вивід типів
Під впливом від	Coq, Epigram^d і Haskell
Операційна система	Microsoft Windows і UNIX-подібні операційні системи
Ліцензія	Ліцензія BSD
Звичайні розширення файлів	`.agda` або `.lagda`
Репозиторій вихідного коду	github.com/agda/agda
Вебсайт	wiki.portal.chalmers.se/agda/pmwiki.php