idris-hackers/idris-mode — pull request #154 by david-christiansen (2014-05-22 09:17:38+00:00)
Title: Allow setting the depth of proof search

This is done with a numeric prefix argument to C-c C-a.

Relies on https://github.com/idris-lang/Idris-dev/pull/1251.