What is Agda written in?
The Agda compiler is written in Haskell (well-documented).
Relationship Graph
All directly connected languages. Click any node to navigate to its page.
Compiler Implementation
| Language | Confidence | Notes | Source |
|---|---|---|---|
| Haskell | 95% | Agda proof assistant and compiler written in Haskell | Source |
Influenced By
- Haskell — Agda influenced by Haskell's type theory
Frequently Asked Questions
What language is Agda written in?
Agda is primarily implemented in Haskell. See the implementation section above for details and source references.
What languages influenced Agda?
Agda was influenced by Haskell among others. See the influence section above for the full list.