contribs/fixed strln in data_type func, and another bug in to_list_v214 years ago impl-paper/Pass pattern variable names to match compiler15 years ago lib/added unwords14 years ago rts/Remove unnecessary file libidris_rts.a14 years ago samples/Add a sample of named instances14 years ago src/Unification tweak Use the code the programmer gives, not code the unifier finds.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.cabalLift syntax tree, main monad and pretty printing out of AbsSyntax14 years ago