Home > Author > Robert Harper
1 " I used to do machine language programming in the lights on the front panel of a computer; now I do higher-dimensional type theory. It's a little bit crazy. "
― Robert Harper