idris-lang/Idris-dev — pull request #641 by ahmadsalim (2013-11-19 18:32:04+00:00)
Title: Disallow proving of top-level declarations and other meta-variables, fix...

...es idris-lang/Idris-dev#46