Repository navigation

Add Typelevel welcome guide - #689

Open

dhinojosa wants to merge 12 commits into

typelevel:mainfrom

dhinojosa:welcome-page-fresh

Commits on Sep 7, 2026
- Add Typelevel welcome guide
  dhinojosa
  committed
  cfda451
- Added adminition directive experiment.
  dhinojosa
  committed
  20ffbc5
- Just made the "admonitions" as bold markdown for now.
  dhinojosa
  committed
  ad2504a
- Fixed `WARNING` on the welcome doc
  dhinojosa
  committed
  6024780
- Experimenting with `@:callout`
  dhinojosa
  committed
  aa47c44
- Trying a different button strategy
  dhinojosa
  committed
  1ae5d3f
- Trying to resize the button
  dhinojosa
  committed
  a8d668f
- Trying to resize the button, and added a more direct form of add scastie.png buttons to hopefully make it work with page.
  dhinojosa
  committed
  a1c98e7
- Fixed scastie button error, and Math error
  dhinojosa
  committed
  28cd7a8
Commits on Sep 20, 2026
- Updated recommendations, although not all from the PR
  dhinojosa
  committed
  7cf063e
Commits on Sep 21, 2026
- Updated welcome.md with recommendations and cleaned up link images so that all scastie buttons can open a new window
  dhinojosa
  committed
  3fd55bf
- Updated alignments and fixed KaTeX rendering
  dhinojosa
  committed
  1927b5c