آگدا (زبان برنامهنویسی)
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