-
v0.2.24 Stable
released this
2025-01-10 17:10:27 -08:00 | 98 commits to dev since this release- feat(frontend): Extraction of symbol in source code position
- fix(frontend): Divergence of behaviours between by sorry and sorry (can't triage)
- fix(frontend): Remove type error extraction to tactic by default
Downloads