← All community channels
# type-system
in Language
🌍 Open stream
Questions and ideas about types: shapes, refinements, inference, and the errors the type checker gives you.
Topics (0)
No topics are being tracked in this channel yet.