Skip to content

Show the error's origin, counterexample and hints in the editor hover as markdown, and code in the view as in the hover - #198

Merged
CatarinaGamboa merged 4 commits into
mainfrom
feat/197-markdown-hints
Nov 11, 2026
Merged

CatarinaGamboa merged 4 commits into
mainfrom
feat/197-markdown-hints

Hover: the headline in the markdown card too; the diagnostic keeps it…

acbeda2
Select commit
Loading
Failed to load commit list.
Loading

Starting your workflow runs...