idris-hackers/idris-mode — pull request #117 by david-christiansen (2014-04-19 09:32:59+00:00)
Title: Maintain a local mirror of Idris options

Also, set Idris options asynchronously. This stops the Idris menu from
locking up Emacs while Idris is busy.

Fixes #112.