idris-lang/Idris-dev — pull request #1046 by david-christiansen (2014-04-09 11:53:02+00:00)
Title: Add command to IDESlave for metavars

Fixes #1036.