1 revision
+6
Auto-generated stub article
+**Idris Disambiguation** is a navigational page listing various meanings and uses of the name "Idris." It serves to differentiate between distinct concepts, such as the ancient prophet [Idris](/wiki/idris_prophet) mentioned in religious texts, and the modern [Idris Language](/wiki/idris_language), a powerful functional programming language. This guide helps users find the specific topic they seek.
+## See also
+- [Idris Elba](/wiki/idris_elba)
+- [Dependent Type](/wiki/dependent_type)
+- [Prophet](/wiki/prophet)
... 1 more lines