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
Select a background
More quotes by Robert Harper
Popular Authors
A curated listing of popular authors.