Disambiguation

Agda

Agda may refer to one of the following:

Technology

Agda (programming language) — Dependently typed functional programming language

People

Agda Montelius — Swedish philanthropist and women's rights activist
Agda Persdotter — Swedish royal mistress
Agda Rössel — Swedish politician and diplomat
Agda Östlund — Swedish politician (1870–1942)

Select a meaning to read its article.