Add Idris as a runtime dependency
Upgrade from JavaScript to iQuery
Upgrade to Haskell on Heroku