II.
Language overview
Reference · livelanguage:agda
Agda overview
Agda — a dependently-typed functional language and interactive proof assistant developed at Chalmers / Gothenburg.
Attributes
displayName
Agda
paradigms
- functional
- dependently-typed
- proof-assistant
description
Agda — a dependently-typed functional language and interactive
proof assistant developed at Chalmers / Gothenburg.
Outgoing edges
applies_to2
- domain:computer-science·DomainComputer Science
- domain:mathematics·DomainMathematics
Incoming edges
None.