idris-hackers/idris-mode — pull request #78 by hannesm (2014-02-07 19:12:06+00:00)
Title: cl-flet is lexically scoped flet -- but we would need a dynamic binding ...

...here

(most likely) fixes #76