impl-paper/Some effort at reporting line numbers of errors (top level of decl only)15 years ago lib/Added 'believe_me'15 years ago samples/Logging options15 years ago src/Better elaboration of Sigma (for better error messages)15 years ago test/Added test directory and a single test...15 years ago LICENSEFix LICENSE15 years ago MakefileAdded test directory and a single test...15 years ago READMEUpdate .cabal and README15 years ago idris.cabalAdded Integer (but an Epic bug prevents them compiling properly)15 years ago