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,312 words) - 22:54, 30 October 2024
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
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 (818 words) - 09:07, 28 October 2024
Little Agda and Olof the Silent (Swedish: Liten Agda och Olof Tyste) (fl. 1526), refers to a legend about a young couple in Sweden between the very first...
8 KB (1,179 words) - 17:05, 23 June 2024
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) - 13:21, 27 July 2024
Agda Helin (27 October 1894 – 10 February 1984) was a Swedish actress. She appeared in more than 60 films between 1912 and 1968. House Slaves (1923) South...
2 KB (145 words) - 14:57, 6 October 2024
the GHC API" Utrecht Haskell Compiler Hudak et al. 2007, pp. 12–22. Agda 2, Agda Github Community, 15 October 2021, retrieved 16 October 2021 "The Haskell...
50 KB (4,569 words) - 04:06, 11 October 2024
ISBN 978-3-540-28372-0. "agda/agda: Agda is a dependently typed programming language / interactive theorem prover". GitHub. Retrieved 31 July 2024. "The Agda Wiki". Retrieved...
17 KB (1,202 words) - 20:02, 10 October 2024
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) - 03:20, 21 June 2024