Skip to content

Remove nominal typing via abc.ABC#138

Merged
tjkuson merged 1 commit intomainfrom nominal-typingSep 28, 2024

Commits

Commits on Sep 28, 2024