Atlas Graph Explorer
Wiki
Graph
Edges
Home
Language
language:idris
Idris
language:idris
Language
domain/languages/idris.yaml
·
Open in Graph →
overview
json
graph
Attributes
displayName
Idris
paradigms
functional
pure
dependently-typed
description
Idris — a general-purpose pure-functional language with full dependent types, used for theorem-proving and verified programming.
Outgoing edges
(0)
None.
Incoming edges
(0)
None.