impl-paper/Some effort at reporting line numbers of errors (top level of decl only)15 years ago lib/Update module names15 years ago samples/Since we can overload things, might as well use less ugly names ;)15 years ago src/Don't search for type class instances we'll never solve - also allow default Int for Num15 years ago test/Since we can overload things, might as well use less ugly names ;)15 years ago LICENSEFix LICENSE15 years ago MakefileAdded test directory and a single test...15 years ago READMEUpdate .cabal and README15 years ago idris.cabalHierarchical namespaces; reorganised prelude accordingly15 years ago