Declare and locate run-time data files using Cabal
Declare run-time data files using Halcyon
Add constraints file
Declare Idris as a run-time dependency
Support deploying with Haskell on Heroku
Add deployment-specific README