Statements (61)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:C_programming_language
|
| gptkbp:community |
active community
|
| gptkbp:designed_by |
gptkb:Ulf_Norell
|
| gptkbp:features |
syntax highlighting
type inference coinductive types dependent pattern matching first-class inductive families refinement types |
| gptkbp:file_extension |
.agda
|
| gptkbp:first_appearance |
gptkb:2007
|
| https://www.w3.org/2000/01/rdf-schema#label |
Agda
|
| gptkbp:influenced_by |
gptkb:Haskell
|
| gptkbp:is_a_tool_for |
gptkb:Agda_compiler
gptkb:Agda_mode_for_Emacs gptkb:Agda_mode_for_VS_Code gptkb:Agda_standard_library gptkb:Agda_type_checker Agda documentation Agda REPL Agda build system Agda code analyzer Agda code examples Agda code formatter Agda code linter Agda code snippets Agda code templates Agda code visualizer Agda community resources Agda debugger Agda dependency manager Agda documentation generator Agda interactive environment Agda package manager Agda performance profiler Agda project manager Agda test framework Agda tutorials Agda type explorer Agda version control integration |
| gptkbp:is_implemented_in |
gptkb:Haskell
|
| gptkbp:license |
gptkb:GNU_General_Public_License
|
| gptkbp:paradigm |
functional programming
|
| gptkbp:platform |
cross-platform
|
| gptkbp:related_to |
gptkb:CORBA
gptkb:Idris Lean |
| gptkbp:repository |
https://github.com/agda/agda
|
| gptkbp:supports |
gptkb:Command_Line_Interface
generic programming higher-order functions dependent types interactive theorem proving type classes program verification proofs as programs |
| gptkbp:system |
dependent type
|
| gptkbp:used_for |
gptkb:scientific_experiments
|
| gptkbp:website |
https://agda.readthedocs.io
|
| gptkbp:bfsParent |
gptkb:CORBA
|
| gptkbp:bfsLayer |
4
|