MaiaVictor/caramel

A modern syntax for the λ-calculus.

130 best points · 22 comments · 1 Hacker News post · 417 GitHub stars · View on GitHub

Hacker News discussions