eashanhatti/peridot

A fast functional language based on two level type theory

151 best points · 40 comments · 1 Hacker News post · 391 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Peridot – A functional language based on two-level type theory (151 points, 40 comments, by ehatti, 2022-05-10)