Statements (53)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:video_game
|
| gptkbp:allows |
toplevel interaction
|
| gptkbp:developed_by |
Agda team
|
| gptkbp:enables |
type checking
refactoring tools |
| https://www.w3.org/2000/01/rdf-schema#label |
Agda mode for Emacs
|
| gptkbp:includes |
Agda mode documentation
|
| gptkbp:is_accessible_by |
MELPA
package.el |
| gptkbp:is_available_on |
gptkb:Git_Hub
|
| gptkbp:is_compatible_with |
gptkb:GNU_Emacs
gptkb:Linux gptkb:XEmacs gptkb:mac_OS gptkb:Windows |
| gptkbp:is_documented_in |
gptkb:Tutorials
gptkb:Wikimedia_Foundation API reference User manual README.md |
| gptkbp:is_maintained_by |
open source community
|
| gptkbp:is_part_of |
Agda ecosystem
functional programming tools |
| gptkbp:is_supported_by |
community contributions
|
| gptkbp:is_used_by |
programmers
|
| gptkbp:is_used_for |
formal verification
dependently typed programming |
| gptkbp:provides |
code completion
error messages project management tools syntax highlighting user-friendly interface version control integration error highlighting navigation features customizable keybindings inline documentation interactive proof checking |
| gptkbp:requires |
gptkb:Emacs
|
| gptkbp:supports |
gptkb:Emacs_Lisp
Agda programming language code navigation customizable settings syntax checking custom themes interactive editing multiple buffers Agda 2.5.4 Agda 2.6.0 |
| gptkbp:uses |
gptkb:Agda_standard_library
|
| gptkbp:written_in |
gptkb:Emacs_Lisp
|
| gptkbp:bfsParent |
gptkb:Agda
|
| gptkbp:bfsLayer |
5
|