idris-lang/idris-tutorial — pull request #33 by lmarburger (2014-06-11 12:33:35+00:00)
Title: Update MkVects example

Fixed a typo and updated the order of arguments for `MkVects` to match `Vect`.