elaboration-zoo
AndrasKovacs/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
- Recommended by
- 1
- GitHub stars
- 807
- Licence
- BSD-3-Clause
- Language
- Haskell
- Last commit
- 30 Jan 2026
What people said
“And if you want to see worked examples elaboration of dependent types then the `elaboration-zoo` is a great thing to look at: I've also got an incomplete project that aims to present a more expanded set of implementations then the e…”
Not software, abandoned or listed by mistake? Report this listing