Agda

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Agda
Парадигма purely functional programmingd
Дата появи 2007
Останній реліз
Система типізації строга типізація, manifest typingd, dependent typingd, статична, 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 [Архівовано 4 лютого 2020 у Wayback Machine.] на сайті Free Software Directory[en]
  • Agda на Quora
  • Agda [Архівовано 22 вересня 2020 у Wayback Machine.] на StackOverflow