alfreb/church1936

Lambda calculus implemented directly from Alonzo Church's 1936 paper

3 best points · 0 comments · 1 Hacker News post · 11 GitHub stars · View on GitHub

Hacker News discussions