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