The more recent book on Isabelle hol is free online bit.ly/1nrrije
Why yes, I did tell the head of engineering that tinder is a better way to find good engineers than LinkedIn at the all hands. I have data.
The best code is the stuff that looks obvious when you read it, but it wasn’t obvious before reading
The strict language pragma has been merged into ghc head! bit.ly/1QDONQI