impl-paper/Some effort at reporting line numbers of errors (top level of decl only)15 years ago lib/Make do notation use Monad class15 years ago samples/Parsing class and instance (but no elaboration yet)15 years ago src/Added -o option, and :exec and :t at the REPL15 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