language:agda

{
  "id": "language:agda",
  "_kind": "Language",
  "_file": "domain/languages/agda.yaml",
  "_cluster": "domain",
  "attributes": {
    "displayName": "Agda",
    "paradigms": [
      "functional",
      "dependently-typed",
      "proof-assistant"
    ],
    "description": "Agda — a dependently-typed functional language and interactive\nproof assistant developed at Chalmers / Gothenburg.\n"
  },
  "outgoingEdges": [],
  "incomingEdges": []
}