(untyped) lambda calculus implementation written in C.
- The only first character of the variable name matters; others are ignored.
- Free variables must be capital (small letters may be captured).
$ git clone https://github.com/kentahama/c-lambda.git
$ cd c-lambda
$ make
$ ./main
(\x->\y->x) M N
(((\a->(\b->a)) M) N)
((\a->M) N)
M