edwinb/Idris-dev — pull request #4 by dpmulligan (2012-01-22 15:15:01+00:00)
Title: Additions to Prelude, and bug fixes for the gtksourceview highlighting file

Made some bug fixes to the gtksourceview highlighting file for Idris, so that if-then-else is now properly highlighted, and moved tactics into their own context.

Added a large amount of theory to the lists file, including most functions from the Haskell Data.List module in the Prelude, as well as some from the O'Caml standard library. Also made a start on proving some properties about these functions.