SK(I) calculus reduction in asm2bf - Part 1
Writing and optimising a SK calculus reductor in asm2bf.
Reimplementing GNU yes using asm2bf
How to optimise asm2bf code? What optimisations techniques apply to brainfuck? Let’s think about it in the context of a simple UNIX utility.