Agda
Dependently typed, purely functional programming language and proof assistant
- Developer
- Founded
- 2007
- Latest version
- 2.8.0.2
1
Sources- 1.“Release 2.8.0.2”github.com/agda/agda/releases/tag/v2.8.0.2Retrieved 2026-09-13
- , 2.5.1.1
2
Sources- 1.hackage.haskell.org/package/Agda-2.5.1.1/changelog
- 2.“Release 2.5.1.1”github.com/agda/agda/releases/tag/v2.5.1.1Retrieved 2018-07-18
- , 2.5.3
1
- +46 more
- 2.8.0.2
- Written in
- License
- Operating system
- Website
- wiki.portal.chalmers.se/agda/pmwiki.php
2
Sources- 1.api.github.com/repos/agda/agda
- 2.api.github.com/repos/agda/agdaRetrieved 2018-12-16
- wiki.portal.chalmers.se/agda/pmwiki.php
Overview
All data
94 statements · 57% with external sources · numbers in brackets are citations
- Software quality assurance
- continuous integration described at url: github.com · archive url: travis-ci.org
- File extension
- agda
- lagda
On other databases
13 identifiers linking Agda across the web's reference databases
- Arch Linux packageagda
- AUR packageagda-git
- Debian stable packageagda
- Free Software Directory entryAgda
- Freebase ID/m/0c1r9r
- FreeBSD portmath/hs-Agda
- Gentoo packagesci-mathematics/agda
- Homebrew formula nameagda
- Microsoft Academic ID (discontinued)2779873051
- Nixpkgs IDagda
- NLab IDAgda
- Quora topic IDAgda
- Repology project nameagda