Pulling a New Proof from Knuth’s Fixed-Point Printer (via jparise) — discussion

#compsci