idris-lang/Idris-dev — pull request #1756 by jonatack (2014-11-30 12:21:42+00:00)
Title: Fix a few typos in the README

[skip ci]