my exploration of combinatory logic, in particular building computers out of NAND gates - View it on GitHub