Idris 2

GPTKB entity

Statements (34)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:designedBy gptkb:Edwin_Brady
gptkbp:feature type inference
metaprogramming
algebraic data types
dependent types
interactive editing
totality checking
first-class types
proof assistant capabilities
gptkbp:firstAppearance 2020
https://www.w3.org/2000/01/rdf-schema#label Idris 2
gptkbp:implementedIn gptkb:Idris_2
gptkb:Scheme
gptkbp:influencedBy gptkb:Agda
gptkb:Coq
gptkb:Haskell
gptkb:Idris
gptkbp:latestReleaseVersion 2024-03-01
0.6.0
gptkbp:license gptkb:BSD_3-Clause
gptkbp:paradigm dependently typed programming
functional programming
gptkbp:platform gptkb:JavaScript
gptkb:LLVM
gptkb:Chez_Scheme
gptkbp:repository https://github.com/idris-lang/Idris2
gptkbp:successor gptkb:Idris
gptkbp:typingDiscipline strong
static
dependent
gptkbp:website https://www.idris-lang.org/
gptkbp:bfsParent gptkb:Idris
gptkbp:bfsLayer 5