jfdm/idris-cph-exercises — pull request #1 by voila (2014-02-13 09:17:10+00:00)
Title: solutions to lecture one

Suggestions welcome, I'm doing this to learn :)