edwinb/Idris-dev — pull request #168 by bishboria (2013-01-27 16:16:30+00:00)
Title: Updating incorrect operator used in the tutorial demonstrating filter and dependent pairs.

Changing the operator used to construct the base case dependent pair in filter function.