idris-lang/Idris-dev — pull request #1802 by mrmonday (2014-12-22 13:11:22+00:00)
Title: Add `until` function to prelude.

Performs the same function as `until` from the Haskell prelude (http://hackage.haskell.org/package/base-4.7.0.1/docs/Prelude.html#v:until).