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