Skip to content

Add Jots to affiliate project index - #707

Merged
Koroeskohr merged 1 commit into
typelevel:mainfrom
vlovgr:add-jots
Nov 12, 2026
Merged

Koroeskohr merged 1 commit into
typelevel:mainfrom
vlovgr:add-jots

Conversation

@vlovgr

@vlovgr vlovgr commented Nov 12, 2026

Copy link
Copy Markdown
Member

Follow-up to vlovgr/jots#93.

@github-actions

Copy link
Copy Markdown

Branch preview

A preview of the website generated with the content of this pull request is available at this URL:

https://pr-707.typelevel-website.pages.dev

@Koroeskohr
Koroeskohr merged commit 0ed3092 into typelevel:main Nov 12, 2026
2 checks passed
@vlovgr
vlovgr deleted the add-jots branch November 13, 2026 04:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants