idris-hackers/idris-mode — pull request #86 by david-christiansen (2014-02-18 14:10:28+00:00)
Title: Move things around to create a strict dependency order

Now, idris-mode compiles cleanly for me in emacs -q. Hopefully, this
will also fix MELPA problems RE #76.