Luau Type Checking Beta!

[Dekkonot]

I believe in the Luau progress thread Zeuxcg said that at the moment types are automatically exported from modules:

Luau Recap: November 2019

This is the syntax for typed Lua, which should go in beta this week. We automatically support exporting types declared in a module right now. All of this is subject to change - our plan is to evolve type support based on the feedback we get once it goes beta.