edwinb/Idris-dev — pull request #47 by raichoo (2012-09-03 20:22:57+00:00)
Title: REPL improvements

repl now stores proofs in a list
rather than only the last proof.

Added 2 new repl commands

:proofs shows the contents of the proof list
:rmproofs removed the newest proof from the proof list

:addproof now adds the newest proof to the file and
removed it from the proof list