idris-hackers/idris-mode — pull request #58 by david-christiansen (2014-01-21 09:40:00+00:00)
Title: Remove compiler warnings

This eliminates the warnings that show up during MELPA install.