← All repos

AndrasKovacs/elaboration-zoo

View on GitHub ↗ ★ 810 Haskell

Minimal implementations for dependent type checking and elaboration

5 mentions on Hacker News by 4 people: 0 stories, 5 comments · first 2022-09-13 · latest 2026-10-10