What is Idris written in?
Idris uses a bootstrap chain from Haskell (documented).
Relationship Graph
All directly connected languages. Click any node to navigate to its page.
Bootstrap Chain
| Language | Confidence | Notes | Source |
|---|---|---|---|
| Haskell | 90% | Idris compiler initially written in Haskell, later self-hosted | Source |
Influenced By
- Haskell — Idris extends Haskell with dependent types
Frequently Asked Questions
What language is Idris written in?
Idris is primarily implemented in Haskell. See the implementation section above for details and source references.
What languages influenced Idris?
Idris was influenced by Haskell among others. See the influence section above for the full list.