refactor: remove `SymContext.h_err?` field, move `addGoalsForMissingHypotheses` functionality into `fromLocalContext`#181

Merged

shigoel merged 2 commits intomainfrom refactor-state-monads-2

Sep 26, 2024

+27-90

Commits on Sep 25, 2024

refactor: remove SymContext.h_err? field, move addGoalsForMissingHypotheses functionality into fromLocalContext
alexkeizer
committed

Commits on Sep 26, 2024

Merge branch 'main' into refactor-state-monads-2
shigoel
authored