Agda

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Agda
Agda proof.jpg
Парадигма purely functional programmingd
Дата появи 2007
Останній реліз 2.6.2 (19 червня 2021)[1]
Система типізації строга типізація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 на сайті Free Software Directory[en]
  • Agda на Quora
  • Agda на StackOverflow                                                                                                                                                                                       

                                                                                                                                                                                       

  1. Release 2.6.2 — 2021.