contribs/added a gtksourceview-2.0 and gtksourceview-3.0 idris language highlighting grammar for use with gedit and other gnome based text editors. used the existing haskell language specification as a base15 years ago impl-paper/Added %hide and %freeze directives15 years ago lib/Added more to prelude, specifically in the files either.idr and maybe.idr. Ported most of the (total functions from) the Haskell Prelude relating to these types, as well as commonly used auxilliary functions found in third-party libraries on Hackage.15 years ago samples/Propagate solutions properly15 years ago src/Added 'abandon' command in proof mode (Alternatively, :q)15 years ago test/Unification tweak15 years ago tutorial/so type and pattern/term syntax extensions in tutorial15 years ago CHANGELOGUpdate CHANGELOG15 years ago LICENSEFix LICENSE15 years ago MakefileBetter error reporting for unresolved type classes15 years ago READMEUpdate .cabal and README15 years ago Setup.hsAnother cabal fix15 years ago idris.cabalBetter error reporting for unresolved type classes15 years ago