0.2.24
- feat(frontend): Extraction of symbol in source code position
- fix(frontend): Divergence of behaviours between
by sorry
andsorry
(can't triage) - fix(frontend): Remove type error extraction to tactic by default
100% Completed
by sorry
and sorry
(can't triage)