Skip to content

Use hashed type names instead of indices#15

Merged
TheLartians merged 2 commits intomainfrom
lars/hash-types
Aug 28, 2024
Merged

Use hashed type names instead of indices#15
TheLartians merged 2 commits intomainfrom
lars/hash-types

Commits

Commits on Aug 28, 2024