edwinb/Idris-dev — pull request #464 by cheepnis (2013-08-31 23:47:21+00:00)
Title: tutorial: replace some leftover occurrence of fO

Some of the fO seem to have slipped in the change to fZ in the tutorial