Agda

From PKC
Revision as of 14:06, 18 May 2022 by Benkoo (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Agda(Q20479) is a functional programming language, often used in the context of conducting proof assistance.

Retrieved from "https://pkc.pub/index.php?title=Agda&oldid=30632"