contribs/A few changes:15 years ago impl-paper/Pass pattern variable names to match compiler15 years ago lib/Fix default arguments in pattern context14 years ago rts/More towards the new compiler14 years ago samples/Add a sample of named instances14 years ago src/Output C file (not finished...)14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Check patterns are inaccessible15 years ago tutorial/Document named instances14 years ago .gitignoreNew .gitignore for Cabal's directory and .ibc files.15 years ago CHANGELOGFix a tactic implicit bug when argument given explicitly14 years ago LICENSEFix LICENSE15 years ago MakefileMore towards the new compiler14 years ago READMEUpdate .cabal and README15 years ago Setup.hsFirst baby steps towards a new RTS (and towards removing epic dependency)14 years ago idris.cabalStarted C generation14 years ago