Agda вільна функціональна мова програмування створена 2007 року під впливом Coq en та Haskell AgdaПарадигмаdДата появи20

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

Agda

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

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

Посилання