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
- Instance of
- proof assistant
- Developer
- Chalmers University of Technology
- Official website
- wiki.portal.chalmers.se/agda/pmwiki.php
- Image
- Agda proof.jpg
Show 12 more facts
- implementation of
- homotopy type theory
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/agda
- programmed in
- Haskell
- software version identifier
- 2.8.0
- source code repository URL
- github.com/agda/agda
- software quality assurance
- continuous integration
- copyright license
- BSD licenses
- influenced by
- Haskell
- inception
- 2007-01-01
- operating system
- Unix-like operating system
- file extension
- lagda
- programming paradigm
- purely functional programming
via Wikidata · CC0