contribs/added vim README14 years ago iif/Change TRACE mode to use -O214 years ago impl-paper/making implementation paper depended on local file in some extern directory14 years ago lib/Tweak Makefile (install checks too)14 years ago rts/Added simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago samples/Minor parser fixes; added binary sample14 years ago src/New datatype for defunctionalised programs ...so that we can't make something ill formed by accident14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Added test file for test01414 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 simple library packaging system Now used for the prelude (see lib/base.ipkg)14 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.cabalAdded simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago