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