idris-hackers/eff-tutorial — pull request #10 by jfdm (2014-09-30 12:44:32+00:00)
Title: Updated readme.

Updated the README.