edwinb/Idris-dev — pull request #364 by Ralith (2013-06-27 20:04:10+00:00)
Title: Remove old ifdefs for supporting base<4 since we require base>=4

This cleans up some cruft and makes it easier to load bits of idris in `ghci`, which doesn't understand MIN_VERSION_base.