all options
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Source: agda  ]

Package: agda-mode (2.3.0.1-2)

Links for agda-mode

Screenshot

Debian Resources:

Download Source Package agda:

Maintainers:

External Resources:

Similar packages:

функциональный язык программирования с зависимыми типами — режим emacs

Agda является функциональным языком программирования с зависимыми типами. В ней имеются индуктивные семейства, которые похожи на GADT из Haskell, но они могут быть индексированы по значениями, а не просто по типам. Также в ней имеются модули с поддержкой параметризации, миксфиксные операторы, символы Unicode и интерактивный интерфейс Emacs (программа проверки типов может помочь в разработке вашего кода).

Также Agda является интерактивным средством доказательства теорем. Она является интерактивной системой записи и проверки доказательств. Agda основана на интуиционистской теории типов, базовой системе конструктивной математики, разработанной шведским логиком Пэром Мартином-Лёфом. Agda во многом схожа с другими интерактивными средствами доказательства теорем, основанными на зависимых типах, такими как Coq, Epigram и NuPRL.

Пакет содержит интерактивный режим разработки emacs для Agda. Этот режим является предпочтительным способом написания кода на Agda и предлагает такие возможности, как итеративная разработка, уточнение, анализ случаев и так далее.

Other Packages Related to agda-mode

  • depends
  • recommends
  • suggests
  • enhances

Download agda-mode

Download for all available architectures
Architecture Package Size Installed Size Files
all 45.1 kB170.0 kB [list of files]