idris-lang/idris-tutorial — pull request #31 by enolan (2014-06-05 22:07:51+00:00)
Title: Make the dependent pair sugar a little clearer.

This confused me when I read it, so...