Repository navigation

Improve signatures in tooltips - #1336

Merged

nojaf merged 5 commits into

fsprojects:mainfrom

nojaf:improve-codesnippets

Sep 18, 2026

Merged

Improve signatures in tooltips#1336
nojaf merged 5 commits into
fsprojects:mainfrom
nojaf:improve-codesnippets

Commits on Sep 18, 2026
- Remove dead files and add pipeline to analyze changed files
  nojaf
  committed
  a164106
- Restyle code snippets and syntax highlight tool tips
  nojaf
  committed
  af390f4
- Color type abbreviations as types, and modules apart from them
  nojaf
  committed
  d494667
- Lay a wide tool tip signature out over several lines
  nojaf
  committed
  20e694d
- Add release notes
  nojaf
  committed
  d32fcf8