Agda may refer to: Agda (programming language), the programming language and theorem prover Agda (Golgafrinchan), the character in The Hitchhiker's Guide... 515 bytes (96 words) - 23:36, 22 August 2023 |
 | Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation... 13 KB (1,310 words) - 03:00, 13 December 2023 |
Aqdash (redirect from Ağdaş (disambiguation)) Aqdas in Wiktionary, the free dictionary. Ağdaş or Aghdash or Aqdash or Aq Dash or Agdash may refer to: Ağdaş, Azerbaijan, a city in Azerbaijan, capital... 1 KB (229 words) - 12:40, 29 July 2023 |
Agda Persdotter (died after 1565), also known as Agda i Porten ('Agda of the Gate'), was the official royal mistress of the future King Eric XIV of Sweden... 5 KB (815 words) - 05:25, 26 December 2023 |
Ağdaş (also, Agdash) is a village and municipality in the Jalilabad Rayon of Azerbaijan. It has a population of 2,354. Ağdaş, Jalilabad at GEOnet Names... 1 KB (29 words) - 09:37, 12 March 2017 |
 | Agdash District (redirect from Ağdaş District) Agdash District (Azerbaijani: Ağdaş rayonu) is one of the 69 districts of Azerbaijan. It is located in the centre of the country, in the Central Aran... 11 KB (1,100 words) - 22:26, 11 March 2024 |
 | Agda Maria Östlund, née Lundgren (3 April 1870 – 26 June 1942) was a Swedish Politician of the Social Democrats. She was one of the first four women to... 5 KB (507 words) - 11:23, 10 February 2023 |
 | Agda Elisabeth Österberg (1891–1987) was a Swedish textile artist who was a prominent figure in the production of religious textiles. In 1933, she was... 4 KB (464 words) - 14:54, 17 February 2023 |
 | Agda Georgina Dorothea Alexandra Montelius née Reuterskiöld (23 April 1850 – 27 October 1920) was a Swedish philanthropist and feminist. She was a leading... 9 KB (1,038 words) - 11:33, 29 April 2024 |
 | Agda Viola Rössel, née Jäderström (4 November 1910 – 27 May 2001) was a Swedish politician (Social Democrat) and diplomat. She was appointed Permanent... 9 KB (816 words) - 06:53, 26 December 2023 |