Remove Idris as a build-time dependency
Add Idris as a runtime dependency
Use explicit constraints
Upgrade from JavaScript to iQuery
Upgrade to Haskell on Heroku