tl This is the repository of tl, an ongoing project to develop a minimalistic typed dialect of Lua. Here's a video of a talk given at FOSDEM 2019 which discusses the history of Lua and types, and outlines the motivations behind tl: Minimalism versus types