|
Agda Nilsson
Agda may refer to: * Agda (programming language), the programming language and theorem prover * Agda (Golgafrinchan), the character in ''The Hitchhiker's Guide to the Galaxy'' by Douglas Adams * Liten Agda, the heroine of a Swedish legend * Agda Montelius, a Swedish feminist * Agda Persdotter, a Swedish royal mistress of the 16th-century * Agda Rössel 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 Representative of Sweden to the United Nations in 1958 and was as the first of her ge ..., a Swedish politician * Agda Östlund, a Swedish politician * Dayan Agda, a Filipino politician {{disambiguation, given name ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Agda (programming Language)
Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation described in his PhD thesis. The original Agda system was developed at Chalmers by Catarina Coquand in 1999. The current version, originally known as Agda 2, is a full rewrite, which should be considered a new language that shares a name and tradition. Agda is also a proof assistant based on the propositions-as-types paradigm, but unlike Coq, has no separate tactics language, and proofs are written in a functional programming style. The language has ordinary programming constructs such as data types, pattern matching, records, let expressions and modules, and a Haskell-like syntax. The system has Emacs and Atom interfaces but can also be run in batch mode from the command line. Agda is based on Zhaohui Luo's unified theory of dependent types (UTT), a type theory similar to Martin-Löf type theory. Agda is named after the Swedis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Agda (Golgafrinchan)
This page is a list of characters in ''The Hitchhiker's Guide to the Galaxy'', by Douglas Adams. The descriptions of the characters are accompanied by information on details about appearances and references to the characters. Main characters Arthur Dent Along with Ford Prefect, Arthur Dent barely escapes the Earth's destruction as it is demolished to make way for a hyperspace bypass. Arthur spends the next several years, still wearing his dressing gown, helplessly launched from crisis to crisis while trying to straighten out his lifestyle. He rather enjoys tea, but seems to have trouble obtaining it in the far reaches of the galaxy. In time, he learns how to fly and carves a niche for himself as a sandwich-maker. He is also worried about "everything." Ford Prefect Ford Prefect is Arthur Dent's friend–and rescuer, when the Earth is unexpectedly demolished to make way for a hyperspace bypass at the start of the story. Although his heart is in the right place and he is show ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Liten Agda
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 years of King Gustav Vasa (1523) and the last years of before the Lutheran Reformation (1527). The title Liten Agda och Olof Tyste translates literally as: ''Little Agda and Olof the Silent''. The title Agda Michelsdotter translates literally as: ''Agda, Michel's daughter''; Olof is her boyfriend. After being kept from Olof by her father, she joins the Vadstena Abbey, a convent, instead of marrying a wealthy nobleman. She escapes from the convent and elopes with Olof, banished by the Church until the King grants the couple a reprieve. Their story was told in ''Förr och nu i Wadstena'' (Past and present in Vadstena) by Constans Pontin. It bears similarities to the fate of Ingeborg Jönsdotter (d. 1524), a merchant's daughter from Vadstena who was forced to enter the same convent in 1495 after a love affair with a young noble ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Agda Montelius
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 figure of the Swedish philanthropy, active for the struggle of women's suffrage, and chairman of the Fredrika Bremer Association in 1903–1920. Biography Montelius was born in Köping in 1850, the daughter of the government defence minister and noble Lieutenant General Alexander Reuterskiöld and Anna Schenström. She was educated at the fashionable girls' school '' Hammarstedtska flickskolan'' in Stockholm. On 20 September 1871, she married the Swedish archaeologist and professor Oscar Montelius (1843–1921). She was described as diminutive, calm, kind and thoughtful, dutiful and always busy with her many projects. She had bad eyesight and eventually became blind in one eye. Her own personal ideals was simple and strict. Montelius was regarded as a central figure and an ideal among the women of the higher middl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Agda Persdotter
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 during his time as a Crown Prince in 1558-61, and possibly informally in 1563-65. Life The date of her birth and death is unknown. Agda Persdotter was reportedly the daughter of the wealthy merchant and city Councillor Peder Klemetsson, who resided by the gate of St Nicolai in Stockholm and was known as ''Pher i Porten'' ('Per of the Gate'), thereby explaining the patronymic as well as the other well known name of Agda: her parentage has, however, not been verified. Kalmar period Agda Persdotter was the first known ''frilla'' or mistress of Crown Prince Eric. It is not known when and how their relationship was initiated, but it is confirmed that she departed with him from Stockholm as a part of his household when he left for Kalmar in May 1558, and resided with him as his official mistress at Kalmar Castle. She was a cent ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Agda Rössel
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 Representative of Sweden to the United Nations in 1958 and was as the first of her gender to have been permanently placed in that position among the 60 UN ambassadors that year in the United Nations organisation; she served in that position till 1964. After this assignment she was Sweden's Ambassador to many countries such as Yugoslavia, Czechoslovakia, and Greece. Biography Early life Agda Rössel née Jäderström was born in Gällivare, Norrbotten, Sweden on 4 November 1910; Gällivare is a small town engaged in mining to in the far north of Sweden to the north of the Arctic Circle. Her father was a railway employee. She was the fourth child in family of six children. She was keen in studies. She attended schools in Gällivare and in Malmberget. Even though she wanted to train as a doctor, due to her mother's illness a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
