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/Fix circular dependencies15 years ago samples/Tidy up interpreter sample15 years ago src/Bug fixes; checking type names in data decls15 years ago test/Added 'total' keyword and positivity check15 years ago tutorial/Error message tinker15 years ago CHANGELOGError message tinker15 years ago LICENSEFix LICENSE15 years ago MakefileUnreachable case warning15 years ago READMEUpdate .cabal and README15 years ago Setup.hsUpdate to Setup,hs (via Dirk Ullrich)15 years ago idris.cabalError message tinker15 years ago