idris-lang/idris-tutorial — pull request #17 by jedesah (2014-02-28 00:15:13+00:00)
Title: Fix maybe type signature to reflect standard lib

Correct the type signature example of the maybe function to reflect what is found in the standard Idris librarie.

In the most recent version the vertical bar was replaced by Lazy but I don't know if that should be changed right away.