Write some stuff
Typo fixes
Bump cabal version
Finish that Erudify blogpost