git.iko.soy/Idris-dev
on fadbbc8 help sign in
history ofsrc/Idris/CaseSplit.hs
all commits
40e6293Some interactive editing fixesEdwin Brady 23772e9Remove "CaseSplit" constructor and implementation which could never be called (the REPLParser uses CaseSplitAt). Furhermore, we no longer need to export "split" from CaseSplit.hsHannes Mehnert 16eee46Fix case split bug on complex nested patternsEdwin Brady 057680aFix case splitting where patterns shadow global namesEdwin Brady 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 a2fa0facleanup whitespacesHannes Mehnert e1dc450Pick unique names for rhs when case splittingEdwin Brady 6456d6fAdd :makewith command at the REPLEdwin Brady 46256abAdd ':addclause' command at the REPLEdwin Brady d20f35cAdd --client optionEdwin Brady bba09bdAdd replaceSplits to generate new definitionEdwin Brady 66f4f9eExtend split/splitOnLine to cope with 'where/with'Edwin Brady 232fe96First implementation of :cs (case split) REPL commandEdwin Brady 3729d95Add CaseSplit.hs and Command (not yet implemented)Edwin Brady