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) - 04:35, 19 July 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
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
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) - 17:51, 7 September 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...
49 KB (4,557 words) - 18:30, 3 September 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) - 20:01, 29 March 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
continuations Scheme, ML, F# first-class type dependent types Coq, Idris, Agda first-class data type Generic Haskell, C++11 first-class polymorphism impredicative...
11 KB (999 words) - 03:29, 25 June 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 (506 words) - 22:55, 28 August 2024