idris-lang/Idris-dev — pull request #1125 by david-christiansen (2014-04-29 16:48:36+00:00)
Title: :makewith works with .lidr now

Previously it inserted too many >, indented to the right.