idris-lang/idris-tutorial — pull request #25 by tylerholien (2014-04-23 05:23:59+00:00)
Title: Correct the order of instructions.

I got hung up here while going through the tutorial.