~jack/misc

misc/lambda-c/README.md -rw-r--r-- 312 bytes
008ecc90Jack Kelly Add functional-images to default.nix/ci 27 days ago

#lambda-c

Playing around with lambda calculus interpreters in C99. Parses STLC lambdas, but doesn't typecheck or anything. Probably won't push it further.

When finished, it should compile cleanly under ./configure CFLAGS='-std=c99 -pedantic -Wall -Wextra'.

Run autoreconf -i to generate the autotooling.