Haskell/Scotty web Idris compiler.