Disambiguation evidence for Idris programming language via surface form
"Idris programming language"
Triples (1)
Triples where some other subject referred to this entity
as "Idris programming language".
Curry–Howard correspondence
→
usedIn
→
"Idris programming language"
ⓘ
↳ resolves to Idris programming language