Difference between revisions of "Agda"
Jump to navigation
Jump to search
(Created page with "{{WikiEntry|key=Agda|qCode=20479}} is a functional programming language, often used in the context of conducting proof assistance. Category:Programming Language Categor...") |
|||
| Line 1: | Line 1: | ||
{{WikiEntry|key=Agda|qCode=20479}} is a functional programming language, often used in the context of conducting proof assistance. | {{WikiEntry|key=Agda|qCode=20479}} is a [[dependent type|dependently typed]] functional programming language, often used in the context of conducting proof assistance. | ||
[[Category:Programming Language]] | [[Category:Programming Language]] | ||
[[Category:Proof Assistant]] | [[Category:Proof Assistant]] | ||
Latest revision as of 14:08, 18 May 2022
Agda(Q20479) is a dependently typed functional programming language, often used in the context of conducting proof assistance.