Disambiguation evidence for Idris via surface form

"Idris"

Triples (2)

Triples where some other subject referred to this entity as "Idris".

Haskell → influenced →
"Idris"
↳ resolves to Idris
ⓘ
Martin-Löf type theory → influenced →
"Idris"
↳ resolves to Idris
ⓘ