notes on computers and other stuff

Recently on StackOverflow there was a question about controlling inlining phases in GHC. I set out to answer that question, and I decided t...

I've been meaning to try out Levent Erkok's sbv library, but for a while I couldn't think of anything to write. Now I have, and...