idris-lang/idris-tutorial — pull request #44 by jfdm (2014-10-15 13:30:58+00:00)
Title: Fixed float placement for listing in interp.tex.

My editor also removes trailing space....but the issue is on L229, the placement option of `here` was changed to `h`.