Lambda calculus with Church encoding in C(github.com)

11 pointsby protopete15 lat temu1 comments

Lambda calculus with Church encoding in C

https://github.com/peberlein/c_lambda_calculus

1 comments

ssdsa15 lat temu

Wow, that is really impressive! Unfortunately, this means lots of work for the C preprocessor (and the C compiler, then) at compile time. But it's cool that it works this way at all.