idris-lang/Idris-dev — pull request #1070 by david-christiansen (2014-04-15 17:13:19+00:00)
Title: Support querying Idris about which functions call which other ones

This has both REPL and IDESlave interfaces.