SK(I) calculus reduction in asm2bf - Part 1

SK(I) calculus reduction in asm2bf - Part 1
Writing and optimising a SK calculus reductor in asm2bf.
Read more →

Combinator calculus - a lab notebook

A writeup on my passion for combinator calculus.
Read more →