Unformed Delta
About
nominative (ν) types
Apr 24, 2026
Fancy name for
newtype
like structures.