idris-lang/Idris-dev — pull request #1505 by tac-tics (2014-09-01 12:09:09+00:00)
Title: Annotate several top-level functions

I went through the `src/Idris` subdirectory and added type annotations to almost all (~50) top-level functions which were missing them.