Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Name traits in preparation for refactor #31

Merged
merged 1 commit into from
Oct 31, 2024
Merged

Name traits in preparation for refactor #31

merged 1 commit into from
Oct 31, 2024

Conversation

mbarbin
Copy link
Owner

@mbarbin mbarbin commented Oct 31, 2024

Implement and resolves #27

@mbarbin mbarbin added this to the Make the library Type-Safe milestone Oct 31, 2024
@mbarbin mbarbin merged commit 04b3415 into main Oct 31, 2024
7 checks passed
@mbarbin mbarbin deleted the named-traits branch October 31, 2024 09:33
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Name Trait.t constructors
1 participant