diff options
author | Alexander M Pickering <alex@cogarr.net> | 2024-12-20 00:37:27 -0600 |
---|---|---|
committer | Alexander M Pickering <alex@cogarr.net> | 2024-12-20 00:37:27 -0600 |
commit | ca318b560a225539e30e4b4fc5daeb5477ac638a (patch) | |
tree | 2c1122afd614295e540ebdfa7ee5a07d117ced68 | |
parent | 37c9e1ce3851dc4cf8269a462df8850848e69edf (diff) | |
download | website-ca318b560a225539e30e4b4fc5daeb5477ac638a.tar.gz website-ca318b560a225539e30e4b4fc5daeb5477ac638a.tar.bz2 website-ca318b560a225539e30e4b4fc5daeb5477ac638a.zip |
Fix teal example
-rw-r--r-- | html/index.html | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/html/index.html b/html/index.html index b65c90e..53a724c 100644 --- a/html/index.html +++ b/html/index.html | |||
@@ -126,15 +126,16 @@ Hello, world!</code></pre> | |||
126 | <pre><code class="language-bash">$ luarocks install tl</code></pre> | 126 | <pre><code class="language-bash">$ luarocks install tl</code></pre> |
127 | </div> | 127 | </div> |
128 | <div class="column"> | 128 | <div class="column"> |
129 | <pre><code class="language-teal">local function keys<K,V>(xs: {K:V}):{K} | 129 | <pre><code class="language-teal"> |
130 | local function keys<K,V>(xs: {K:V}):{K} | ||
130 | local ks = {} | 131 | local ks = {} |
131 | for k, v in pairs(xs) do | 132 | for k, _ in pairs(xs) do |
132 | table.insert(ks, k) | 133 | table.insert(ks, k) |
133 | end | 134 | end |
134 | return ks | 135 | return ks |
135 | end | 136 | end |
136 | 137 | ||
137 | local s: {number:string} = keys({ a = 1, b = 2 }) | 138 | local s: {integer:string} = keys({ a = 1, b = 2 }) |
138 | print(table.concat(s)) | 139 | print(table.concat(s)) |
139 | </code></pre> | 140 | </code></pre> |
140 | </div> | 141 | </div> |
@@ -149,7 +150,7 @@ ab</code></pre> | |||
149 | <p>By default, Lua4Win will install packages in a user-local location, at <code>%APPDATA%/luarocks</code>. You can instead choose to install system-wide packages for all users with the <code class="language-none">--tree system</code> flag, these packages will be located at <code>[INSTALLDIR]/luarocks</code>. You may need to be running as an administrator to install to this location.</p> | 150 | <p>By default, Lua4Win will install packages in a user-local location, at <code>%APPDATA%/luarocks</code>. You can instead choose to install system-wide packages for all users with the <code class="language-none">--tree system</code> flag, these packages will be located at <code>[INSTALLDIR]/luarocks</code>. You may need to be running as an administrator to install to this location.</p> |
150 | <p>Lua4Win's luarocks configuration lives at <code class="language-none">[INSTALLDIR]/config/config-5.1.lua</code>, and is a regular Lua file you can modify.</p> | 151 | <p>Lua4Win's luarocks configuration lives at <code class="language-none">[INSTALLDIR]/config/config-5.1.lua</code>, and is a regular Lua file you can modify.</p> |
151 | <p>All of Lua4Win's binary packages are built using mingw64. If you intend to build your own modules they must be built with mingw64 if you want them to interoperate with Lua4Win-distributed Lua.</p> | 152 | <p>All of Lua4Win's binary packages are built using mingw64. If you intend to build your own modules they must be built with mingw64 if you want them to interoperate with Lua4Win-distributed Lua.</p> |
152 | <p>Some of Lua4Win's packages needed patching or modification, source code is generally mirrored at <a href="https://git.lua4.win">git.lua4.win</a>, and packaging code is kept separate- usually in a <pre><code>*-packaging</code></pre> repo.</p> | 153 | <p>Some of Lua4Win's packages needed patching or modification, source code is generally mirrored at <a href="https://git.lua4.win">git.lua4.win</a>, and packaging code is kept separate- usually in a <code>*-packaging</code> repo.</p> |
153 | 154 | ||
154 | </body> | 155 | </body> |
155 | </html> | 156 | </html> |