Alexandre Buisse (Nattfodd) / CC BY-SA 3.0
Software
Agda
dependently typed, purely functional programming language and proof assistant
Overview text may include a short Wikipedia extract. See sources.
Key facts
- Official website
- https://wiki.portal.chalmers.se/agda/pmwiki.php · Wikidata
Sources
- Wikidata — Agda