git.iko.soy/Idris-dev
on d16d418 help sign in
history ofsrc/Idris/REPLParser.hs
all commits
af99a9dAdd :makelemma command in interactive editingEdwin Brady e16c068Documentation for primitivesDavid Raymond Christiansen 10509f6Add support for :set warnreach.Matus Tejiscak 47304d9Allow the big startup banner to be disabledDavid Raymond Christiansen 6a99256Remove the REPL Info commandPaul Koerbitz 42fb8bfMerge branch 'repl'raichoo 31ca891Parse _|_ as a name in :docDavid Raymond Christiansen 8522683:compile now obeys --codegen flagraichoo 3c8f57c:compile now can take a codegen option (e.g. :compile javascript program.js)raichoo cfbb64fMerge branch 'idrisdoc' of github.com:PhilipRasmussen/Idris-dev into PhilipRasmussen-idrisdocDavid Raymond Christiansen e07c13dAdd :refine (:ref) command for refining a holeEdwin Brady 7bc8bfdAdd REPL commands for who calls whoDavid Raymond Christiansen 877c638IdrisDoc begunPhilip Rasmussen 1921424Add :apropos command to REPLDavid Raymond Christiansen 423b4c4Allow users to disable the auto-solve in the proverDavid Raymond Christiansen 4257d64Automatically detect console widthDavid Raymond Christiansen b8d7935Hide original errors upon reflective rewriteDavid Raymond Christiansen 3b06788Allow querying the registered error handlersDavid Christiansen 5000aebAdd a Cabal libraryBrian McKenna 27a6ec7Merge pull request #640 from david-christiansen/color-theme-default-optionEdwin Brady aadfef8Allow the use of the default foreground colour. Make it the colour of the prompt.David Christiansen 8e974c7Parser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependenciesAhmad Salim Al-Sibahi 3c32b65Whitespace cleanup.George Leontiev 6adee80Add :apc for adding "proof style" declarationsEdwin Brady b7b55b7Allow hints to be given to proof searchEdwin Brady f869396Add :addmissing REPL commandEdwin Brady abf99a5Add proofsearch tactic, with :ps at the REPLEdwin Brady 7c86659Remove 'catch' round serverEdwin Brady 6456d6fAdd :makewith command at the REPLEdwin Brady 46256abAdd ':addclause' command at the REPLEdwin Brady d20f35cAdd --client optionEdwin Brady 66f4f9eExtend split/splitOnLine to cope with 'where/with'Edwin Brady 3729d95Add CaseSplit.hs and Command (not yet implemented)Edwin Brady 67fb9ccSplit Parser.hs into several filesEdwin Brady 4447a4dChanged structure of parser such that it correctly overloads TokenParsing using some newtype hackery.Ahmad Salim Al-Sibahi 583cc43Add ability to set ANSI italicsDavid Christiansen 73bdc53Refactoring of parser to Trifecta, documenting and updating some items/fixing some issues.Ahmad Salim Al-Sibahi 8125e03Add support for init scriptsDavid Christiansen d759b26Parser fix for colour setting commandsDavid Christiansen fe20bf1Allow colour options from REPLDavid Christiansen efa3f8fIgnore initial whitespace and comments in REPLMelvar Chen 3aa61b3Delete unused codeBenjamin Saunders 8af32d4squash potential space leaks by using strict foldlraichoo 75e0141add command to change current directoryHannes Mehnert 3262127Dynamically load C libraries in REPLDavid Christiansen c020e50javascript: split javascript and node targetraichoo 12dcee5Merge commit '06fffa315afc0d883f36a6ce971df1123aa6d8e3' into javascriptIrene Knapp 06fffa3JavaScript stuff.Irene Knapp fab5d73Adding support for Windows MingW32chetant 1ccd94aSyntax for documentation comments and :doc REPL commandEdwin Brady