Change one block to a pre/pre section since BlogLiterately stuffs up on the weird Idris syntax.