vitorsouzaalmeida/lc-interpreter

Introduction to the Untyped Lambda Calculus by covering the basics and then writing an Interpreter

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

话题：alpha-conversion · alpha-renaming · beta-reduction · debruijn-indices · functional-programming · interpreter · lambda-calculus · ocaml

在 GitHub 上查看原仓库