atom-language-idris icon indicating copy to clipboard operation
atom-language-idris copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

add :who-calls as command

Open justjoheinz opened this issue 9 years ago • 0 comments

As per http://docs.idris-lang.org/en/latest/reference/ide-protocol.html the REPL protocol supports the :who-calls NAME command to display the list of callers of NAME

justjoheinz avatar Mar 09 '16 20:03 justjoheinz