Agda

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Agda
Agda proof.jpg
Парадигма purely functional programmingd
Дата появи 2007
Останній реліз 2.6.2.2 (2 квітня 2022)[1]
Система типізації строга типізаціяd, manifest typingd, dependent typesd, статична, 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                                                                                                                                                                                       

                                                                                                                                                                                       

  1. Release 2.6.2.2 — 2022.