eyyub/Untyped-lambda-calculus

First real OCaml project to discover what is Lambda Calculus.

语言：OCaml · GitHub 星标：3 · Fork：0

在 GitHub 上查看原仓库