5e9d8deUse Megaparsec for expressions, remove `parsers` depJason Felice9 years ago e148a68WIPJason Felice9 years ago 22587b2Make ParseError a newtypeJason Felice9 years ago 5048ad4Introduce ParseError type aliasJason Felice9 years ago e680962Return parse results using EitherJason Felice9 years ago 1f8db23Import Trifecta qualified as PJason Felice9 years ago 13308b1Allow declaring fixity of ticked operators (#4140)Jason Felice9 years ago aabe0e4fix stylize issuesVincent Hanquez9 years ago 8f7c6a9Allow to construct a PkgName only with a valid package nameVincent Hanquez9 years ago f732f9dIntroduce a PkgName abstraction to represent package name instead of StringVincent Hanquez9 years ago c660584Add export list to Idris.ParserNiklas Larsson9 years ago 83bb62fUnused binds (#4067)Jason Felice9 years ago d4bd8e6Clean up unused imports (#4065)Jason Felice9 years ago 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson9 years ago d4ce631Add :! for running shell commands from the REPLRyan Scott10 years ago fb33d8cIndentation configuration via command line args.Steven Shaw10 years ago 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes10 years ago e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan10 years ago b73004a"Fix" unindented do blocks in let bindingsEcho Nolan10 years ago bd4789cUse `fullExpr` instead of `typeExpr` in search(λ _ λ)10 years ago 7973024Some internal structural Changes.Jan de Muijnck-Hughes10 years ago 0896073Added documentation for modules.Jan de Muijnck-Hughes10 years ago d2a8c3eFold portable into CodegenNiklas Larsson10 years ago c292d12Moved REPLParser to be under REPL namespace.Jan de Muijnck-Hughes11 years ago