idris-hackers/idris-mode — pull request #52 by hannesm (2014-01-15 10:14:48+00:00)
Title: warning -> error, instructions for *idris-notes*; clean and dirty fiddli...

...ng