PureScript and Haskell Engineer at Habito, Idris enthusiast. Trying to overcome a very real fear of CSS.