Source
Agda (Wikipedia)
Web Source
Facts
Urlhttps://en.wikipedia.org/wiki/Agda_(programming_language)
Sources
Agda (Wikipedia)
Lead sectionQuote, Lead section
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.
Claims Backed By This Source (6 claims)
This source backs 6 claims across the atlas. As facts: 3 well-attested. As cited relationships: 1 holds. Plus 2 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Programming Languages, 5 claims: 2 well-attested, 1 holds, 2 general references.
- Sources, 1 claims: 1 well-attested.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.