idris-lang/idris-tutorial — pull request #42 by david-christiansen (2014-09-30 11:23:14+00:00)
Title: Update for consistent capitalization

See https://github.com/idris-lang/Idris-dev/pull/1553 .

Fixes #41.