a github blog on haskell and mathematics