Three-dimensional category theory diagram server using Haskell and Yesod - View it on GitHub