Statements (29)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:programming_language
|
gptkbp:developer |
gptkb:Chalmers_University_of_Technology
gptkb:Ulf_Norell |
gptkbp:documentation |
https://agda.readthedocs.io/en/v2.6.4/
|
gptkbp:fileExtension |
.agda
|
gptkbp:firstAppearance |
2007
|
https://www.w3.org/2000/01/rdf-schema#label |
Agda
|
gptkbp:implementedIn |
gptkb:Haskell
|
gptkbp:influenced |
gptkb:Lean
gptkb:Idris |
gptkbp:influencedBy |
gptkb:Coq
gptkb:Haskell gptkb:Martin-Löf_type_theory |
gptkbp:latestReleaseVersion |
2023-10-10
2.6.4 |
gptkbp:license |
gptkb:MIT_License
|
gptkbp:paradigm |
dependently typed programming
functional programming |
gptkbp:platform |
cross-platform
|
gptkbp:supports |
interactive theorem proving
proof assistant total functional programming |
gptkbp:typingDiscipline |
strong
static dependent |
gptkbp:website |
https://agda.readthedocs.io/
|
gptkbp:bfsParent |
gptkb:list
gptkb:logic |
gptkbp:bfsLayer |
4
|