idris-lang/Idris-dev — pull request #1548 by markuspf (2014-09-24 19:51:21+00:00)
Title: Update readme

Update the README to reflect the codegen situation.