summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexander M Pickering <alex@cogarr.net>2024-12-20 00:37:27 -0600
committerAlexander M Pickering <alex@cogarr.net>2024-12-20 00:37:27 -0600
commitca318b560a225539e30e4b4fc5daeb5477ac638a (patch)
tree2c1122afd614295e540ebdfa7ee5a07d117ced68
parent37c9e1ce3851dc4cf8269a462df8850848e69edf (diff)
downloadwebsite-ca318b560a225539e30e4b4fc5daeb5477ac638a.tar.gz
website-ca318b560a225539e30e4b4fc5daeb5477ac638a.tar.bz2
website-ca318b560a225539e30e4b4fc5daeb5477ac638a.zip
Fix teal example
-rw-r--r--html/index.html9
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">
130local function keys&lt;K,V&gt;(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
135end 136end
136 137
137local s: {number:string} = keys({ a = 1, b = 2 }) 138local s: {integer:string} = keys({ a = 1, b = 2 })
138print(table.concat(s)) 139print(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>