Got a bunch of work typing up proofs done today, trying to make a journal version of the ICFP paper. Somehow it has already blown up to like 40 pages. Granted, two-column to one-column conversion is to blame for some of that, but still.
PLClub was Daniel Wagner talking about graph rewriting and stuff. Pretty fun.
This week's font is a fun little swoopy, didone lowercase. I think the o, g, v, w, x, y really want to be a bit heavier.