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

Перевірена версія цієї сторінки, затверджена 26 лютого 2020, заснована на цій версії.

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

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

Посилання

Agda

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