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

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.