From 0d2a9ef54abe35f2cce6ec2560873f08c69ae48d Mon Sep 17 00:00:00 2001 From: Kim Alvefur Date: Tue, 28 Mar 2023 11:27:05 +0200 Subject: teal-src: Add a README with a few pointers to get started --- teal-src/README.md | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 teal-src/README.md diff --git a/teal-src/README.md b/teal-src/README.md new file mode 100644 index 00000000..27677563 --- /dev/null +++ b/teal-src/README.md @@ -0,0 +1,29 @@ +# Teal definitions and sources + +This directory contains files written in the +[Teal](https://github.com/teal-language/tl) language, a typed dialect of +Lua. There are two kinds of files, `.tl` Teal source code and `.d.tl` +type definitions files for modules written in Lua. The later allows +writing type-aware Teal using regular Lua or C code. + +## Setup + +The Teal compiler can be installed from LuaRocks using: + + luarocks install tl + +## Checking types + +```bash +tl check teal-src/prosody/util/example.tl +``` + +Some editors and IDEs also have support, see [text editor +support](https://github.com/teal-language/tl#text-editor-support) + + +## Files of note + +`module.d.tl` +: Describes the module environment. + -- cgit v1.2.3