# Programming with Types in Teal

## Welcome to Teal!

In this tutorial chapter, we will go through the basics so you can get up and running
type checking your Lua code, through the use of Teal, a typed dialect of Lua.
