Lambda calculus with Church encoding in Cgithub.com/peberlein 11 pointsprotopete14 years ago1 commentSaveHideCopy link On HNComments−ssdsa14yWow, 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.
Comments
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.