Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
proof assistant |
| gptkbp:developedBy |
gptkb:Ulf_Norell
|
| gptkbp:documentation |
https://agda.readthedocs.io/en/v2.6.4/
|
| gptkbp:firstReleased |
2007
|
| https://www.w3.org/2000/01/rdf-schema#label |
Agda 2
|
| gptkbp:influencedBy |
gptkb:Agda
gptkb:Coq gptkb:Haskell gptkb:Martin-Löf_type_theory |
| gptkbp:latestReleaseVersion |
2023-10-10
2.6.4 |
| gptkbp:license |
gptkb:BSD-3-Clause
|
| gptkbp:operatingSystem |
Cross-platform
|
| gptkbp:paradigm |
functional
purely functional dependently typed |
| gptkbp:programmingLanguage |
gptkb:Haskell
|
| gptkbp:repository |
https://github.com/agda/agda
|
| gptkbp:supports |
interactive theorem proving
dependent types pattern matching Unicode syntax |
| gptkbp:website |
https://agda.readthedocs.io/
|
| gptkbp:bfsParent |
gptkb:Ulf_Norell
|
| gptkbp:bfsLayer |
6
|