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

Commits

  1. Commits on Nov 11, 2026