Agda is a programming language recognized by GitHub Linguist and used with .agda.
Quick facts
What is Agda
Agda is a programming language recognized by GitHub Linguist and used with .agda.
GitHub Linguist classifies Agda as a programming language, typically using extensions such as .agda.
File extensions:
Related languages
Frequently asked questions
Agda is a programming language recognized by GitHub Linguist and used with .agda.
Common extensions include .agda.
Sources & standards
Updated 2026-08-18
Explore this reference