For questions regarding Agda: the programming language / proof assistant.

Agda references:

This tag is currently for any version of Agda.
As different versions of Adga may differ from each other, there may be a need for version-specific tags.

Code Language (used for syntax highlighting): lang-hs