git.iko.soy/Idris-dev
on bf4e535 help sign in
history ofsrc/Idris/Core/ProofTerm.hs
all commits
7a8217aUse Set for boundNamesInEdwin Brady c66df51Propagate unification solutions into types on 'P'Edwin Brady f17606a"claim" and "unfocus" tacticsDavid Raymond Christiansen 6b6aae0Avoid retrying unification problems constantlyEdwin Brady b0a0c0cImprovement for 'auto'Edwin Brady 971d88dAnnotate several top-level functionsMichael Maloney 788f800Record import paths in ibcEdwin Brady 42c694cMore efficiency improvementsEdwin Brady 2418336Save some allocations in updateSolvedEdwin Brady d6057b5Search subterm for goal firstEdwin Brady ab36099Use a zipper-like proof stateEdwin Brady a9dd2e4Lift out proof term into a separate moduleEdwin Brady