git.iko.soy/Idris-dev
on ad995dc help sign in
history ofsrc/Idris/ProofSearch.hs
all commits
5000aebAdd a Cabal libraryBrian McKenna 3c32b65Whitespace cleanup.George Leontiev b7b55b7Allow hints to be given to proof searchEdwin Brady b16baadLeave metavariables for unfinished proofsEdwin Brady 53ce3ccProof search now also tries recursive callsEdwin Brady dcdbcc3Proof search now tries appropriate constructorsEdwin Brady 5d2d5a7Failed proofsearch branch creates new metavariableEdwin Brady abf99a5Add proofsearch tactic, with :ps at the REPLEdwin Brady