contribs/added vim README14 years ago iif/Change TRACE mode to use -O214 years ago lib/Tweak Makefile (install checks too)14 years ago papers/Created papers directory14 years ago rts/Add Proj operator to runtime version of TT Allows extracting arguments without checking constructor first which will make erasing unused values easier shortly14 years ago samples/Minor parser fixes; added binary sample14 years ago src/Added --dumpcases <file> option for dumping case trees on compiling14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Deal with shadowing better in patterns Variable names in patterns should override global names, as long as they are not applied to anything. If the global name is desired (e.g. if it is the result of a dependency elsewhere, either use a _ or give the quali…14 years ago tutorial/Merge branch 'master' of github.com:edwinb/Idris-dev14 years ago .gitignoreNew .gitignore for Cabal's directory and .ibc files.15 years ago CHANGELOGAdded --dumpc flag14 years ago LICENSEFix LICENSE15 years ago MakefileAdded simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago READMEUpdate .cabal and README15 years ago Setup.hsFirst baby steps towards a new RTS (and towards removing epic dependency)14 years ago git-credential-osxkeychainerror handling14 years ago idris.cabalStarting unused argument analysis14 years ago