Susan Potter
Results
2
issues of
Susan Potter
Instead of using Cabal to build the project in the buildpack perhaps consider using [Keter](http://www.yesodweb.com/blog/2012/05/keter-its-alive). If viable for Heroku deployment/buildpack needs, then build binary that works on Heroku.
I upgraded to Idris 0.12.2 recently from 0.9.x (on a brand new machine) and had to rewrite a few things due to the interface and related changes between those versions....