Agda (programming language)
Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation described in his PhD thesis. The current version of Agda was originally known as Agda 2. The original Agda system was developed at Chalmers by Catarina Coquand in 1999. The current version is a full rewrite, which should be considered a new language that shares a name and tradition. Agda is based on Zhaohui Luo's Unified Theory of Dependent Types (UTT) a type theory similar to Martin-Löf type theory.
influenced by
Wikipage disambiguates
Wikipage redirect
primaryTopic
Agda (programming language)
Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation described in his PhD thesis. The current version of Agda was originally known as Agda 2. The original Agda system was developed at Chalmers by Catarina Coquand in 1999. The current version is a full rewrite, which should be considered a new language that shares a name and tradition. Agda is based on Zhaohui Luo's Unified Theory of Dependent Types (UTT) a type theory similar to Martin-Löf type theory.
has abstract
Agda is a dependently typed fu ...... lar to Martin-Löf type theory.
@en
Agda — чистый функциональный я ...... ом система Agda и реализована.
@ru
Agda是一个依赖类型的函数式编程语言,同时亦可作为一个用于 ...... 其提供的Emacs界面进行交互,亦可藉由命令行方式单独执行。
@zh
Agda(アグダ)は定理証明器、すなわち数学的な証明を検証す ...... るほか、直接コードをコンパイルする処理系の開発も進んでいる。
@ja
designer
developer
influenced
latest release version
license
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
741,332,368
operating system
paradigm
written in
subject
comment
Agda is a dependently typed fu ...... lar to Martin-Löf type theory.
@en
Agda — чистый функциональный я ...... ом система Agda и реализована.
@ru
Agda是一个依赖类型的函数式编程语言,同时亦可作为一个用于 ...... 其提供的Emacs界面进行交互,亦可藉由命令行方式单独执行。
@zh
Agda(アグダ)は定理証明器、すなわち数学的な証明を検証す ...... るほか、直接コードをコンパイルする処理系の開発も進んでいる。
@ja
label
Agda (programming language)
@en
Agda
@ja
Agda
@ru
Agda
@zh
wasDerivedFrom
homepage
isPrimaryTopicOf
name
Agda
@en