Atlas Graph Explorer
Wiki
Graph
Edges
Home
Language
language:agda
Agda
language:agda
Language
domain/languages/agda.yaml
·
Open in Graph →
overview
json
graph
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
(0)
None.
Incoming edges
(0)
None.