idris-lang/Idris-dev — pull request #1427 by david-christiansen (2014-07-24 22:25:38+00:00)
Title: Make proof arguments to list functions implicit

This makes code much cleaner. Fixes #1318.