alfreb/church1936

Lambda calculus implemented directly from Alonzo Church's 1936 paper

语言：Haskell · GitHub 星标：11 · Fork：0

在 GitHub 上查看原仓库