idris-lang/Idris-dev — pull request #664 by sjdrodge (2013-11-24 20:58:37+00:00)
Title: Some %assert_total cleanup

Just some of the lowest-hanging fruit - more to come!