📅 2026-04-16
Pronunciation of the day: Agda
Agda is pronounced "ag duh" · /ˈæɡdə/ · product
"AG-duh" — dependently-typed lang.
For the full source citation, alternate readings, and CLI usage, see the canonical page → Agda.
📅 2026-04-16
Agda is pronounced "ag duh" · /ˈæɡdə/ · product
"AG-duh" — dependently-typed lang.
For the full source citation, alternate readings, and CLI usage, see the canonical page → Agda.