You’ll also read things like “Platform types are n...

# language-proposals

[cedric]

You’ll also read things like “Platform types are non denotational” which means developers can’t use them in their source files