Skip to content

Add doc types#5

Draft
nicodh wants to merge 2 commits intoshow-some-overlaysfrom
add-doc-types
Draft

Add doc types#5
nicodh wants to merge 2 commits intoshow-some-overlaysfrom
add-doc-types

Conversation

@nicodh
Copy link
Member

@nicodh nicodh commented Aug 28, 2025

This would be one way to get type safety: less tooling, a bit more "verbose"

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.

1 participant