I've not read Metamagical Themas, but your words remind me that one of my favorite programming books, The Little Schemer, does in fact use a variable-width font

I've not read Metamagical Themas, but your words remind me that one of my favorite programming books, The Little Schemer, does in fact use a variable-width font for the code.