edwinb/Idris-dev — pull request #62 by dagit (2012-10-28 23:39:30+00:00)
Title: Use strict StateT so we can build against the latest haskeline

I also removed the haskeline upper bound in the .cabal file and added a few things to the .gitignore.

If you'd like me to send you a more minimal set of commits please let me know and I can do that.