Agda
Sign in to savedependently typed, purely functional programming language and proof assistant
Source code
Note that this README is only about Agda, not its standard library. See the [Agda Wiki][agdawiki] for information about the library.
Excerpt from the source-code README · 1,735 chars · not written by Vinony
Wikidata facts
- Official website
- wiki.portal.chalmers.se/agda/pmwiki.php
- Image
- Agda proof.jpg
Show 5 more facts
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/agda
- software version identifier
- 2.8.0
- source code repository URL
- github.com/agda/agda
- inception
- 2007-01-01
- file extension
- lagda
via Wikidata · CC0
Connections
programming language
Entity
type system
Entity
proof assistant
Entity
dependent type
Entity
Swedish
Entity
chicken
Entity
operating system
Entity
software
Entity
Q2005
Entity
Unicode
Entity
Q364
Entity
brackets
Entity
Q154755
Entity
open-source software
Entity
Q34010
Entity
Q118398
Entity
software license
Entity
functional programming
Entity
programming paradigm
Entity
software development
Entity
Categories
2007 softwareAcademic programming languagesChalmers University of TechnologyCross-platform free softwareDependently typed languagesFree and open source compilersFree software programmed in HaskellFunctional languagesHaskell programming language familyPattern matching programming languagesProgramming languagesProgramming languages created in 2007Proof assistantsStatically typed programming languages