SK(I) calculus reduction in asm2bf - Part 1 2021-10-31 :: Palaiologos #asm2bf #SKI #combinator-calculus #APL Writing and optimising a SK calculus reductor in asm2bf. Read more →
