Comparison

teal-src/README.md @ 13004:47efa93ea859

teal-src/README: Tweak markdown syntax
author Kim Alvefur <zash@zash.se>
date Tue, 28 Mar 2023 11:42:09 +0200
parent 13002:d8e2b995f975
child 13005:1167aaf1aa1f
comparison
equal deleted inserted replaced
13003:34ed17ef1c1a 13004:47efa93ea859
8 8
9 ## Setup 9 ## Setup
10 10
11 The Teal compiler can be installed from LuaRocks using: 11 The Teal compiler can be installed from LuaRocks using:
12 12
13 luarocks install tl 13 ```bash
14 luarocks install tl
15 ```
14 16
15 ## Checking types 17 ## Checking types
16 18
17 ```bash 19 ```bash
18 tl check teal-src/prosody/util/example.tl 20 tl check teal-src/prosody/util/example.tl