edwinb/Idris-dev — pull request #24 by MekeorMelire (2012-04-09 21:25:44+00:00)
Title: slightly extended standard library

i added

- takeWhile
- dropWhile
- words

and a copyright-note.