idris-lang/Idris-dev — pull request #1031 by tpsinnem (2014-04-05 13:27:37+00:00)
Title: Substitution of previous arguments to default arguments

Works in function and data declarations. Also includes code to catch unknown names in default arguments.