tired: doing actual work
wired: coming up with something to put for this in our repo
I should set up that git hook that removes trailing spaces before commit
tired: doing actual work
wired: coming up with something to put for this in our repo
I should set up that git hook that removes trailing spaces before commit
maybe GHC actually already has this stuff and I haven't found it yet