Statements (54)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:software
|
| gptkbp:allows |
running Agda code
|
| gptkbp:available_on |
gptkb:Visual_Studio_Code
|
| gptkbp:can_be_configured_for |
settings.json
keybindings.json |
| gptkbp:developed_by |
Agda team
|
| gptkbp:enables |
Agda REPL
|
| gptkbp:has |
gptkb:Git_Hub
community support user documentation extension settings |
| https://www.w3.org/2000/01/rdf-schema#label |
Agda mode for VS Code
|
| gptkbp:is_accessible_by |
gptkb:VS_Code_Marketplace
|
| gptkbp:is_available_in |
multiple languages
|
| gptkbp:is_compatible_with |
Agda version 2.6.0
Agda version 2.6.1 Agda version 2.6.2 Agda version 2.6.3 Agda version 2.6.4 Agda version 2.6.5 Agda version 2.6.6 Agda version 2.6.7 Agda version 2.6.8 Agda version 2.6.9 |
| gptkbp:is_documented_in |
tutorials
blog posts user forums official documentation Git Hub README |
| gptkbp:is_open_source |
gptkb:true
|
| gptkbp:is_part_of |
Agda ecosystem
|
| gptkbp:is_popular_among |
gptkb:students
gptkb:developers gptkb:researchers academic users |
| gptkbp:is_promoted_by |
Agda community
|
| gptkbp:is_updated_by |
Agda contributors
|
| gptkbp:is_used_by |
programmers
|
| gptkbp:is_used_for |
formal verification
dependently typed programming proof assistants type theory research |
| gptkbp:provides |
code completion
error reporting interactive programming syntax highlighting type checking |
| gptkbp:requires |
gptkb:Agda_compiler
|
| gptkbp:supports |
gptkb:Linux
gptkb:mac_OS gptkb:Windows Agda programming language |
| gptkbp:bfsParent |
gptkb:Agda
|
| gptkbp:bfsLayer |
5
|