idris-hackers/idris-mode — pull request #90 by hannesm (2014-02-22 00:34:24+00:00)
Title: might fix #76 by removing all the flet

that is a fix which actually works... :)