git.iko.soy/Idris-dev
on 6412ae4 help sign in
history ofsrc/Idris/CaseSplit.hs
all commits
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