contribs/added makefile14 years ago impl-paper/Pass pattern variable names to match compiler15 years ago lib/added hyperoperation sequence14 years ago rts/latest14 years ago samples/Add a sample of named instances14 years ago src/Quicker resolution of overloaded names By checking the name's type against the goal type rather than fully checking.14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Added binding form to syntax rules (and updated tutorial accordingly)14 years ago tutorial/Tutorial typo14 years ago .gitignoreNew .gitignore for Cabal's directory and .ibc files.15 years ago CHANGELOGQuicker resolution of overloaded names By checking the name's type against the goal type rather than fully checking.14 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 git-credential-osxkeychainerror handling14 years ago idris.cabalQuicker resolution of overloaded names By checking the name's type against the goal type rather than fully checking.14 years ago