impl-paper/Some effort at reporting line numbers of errors (top level of decl only)15 years ago lib/Added log/exp (and lib/link directives)15 years ago samples/Logging options15 years ago src/Extension parsing, now deferring checks name is unique15 years ago LICENSEFix LICENSE15 years ago MakefileSugar for dependent pairs15 years ago READMEUpdate .cabal and README15 years ago idris.cabalUpdate .cabal and README15 years ago