Fix teal example

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>
                                         <pre><code class="language-bash">$ luarocks install tl</code></pre>
                                 </div>
                                 <div class="column">
-                                        <pre><code class="language-teal">local function keys<K,V>(xs: {K:V}):{K}
+                                        <pre><code class="language-teal">
+local function keys&lt;K,V&gt;(xs: {K:V}):{K}
   local ks = {}
-  for k, v in pairs(xs) do
+  for k, _ in pairs(xs) do
     table.insert(ks, k)
   end
   return ks
 end
 
-local s: {number:string} = keys({ a = 1, b = 2 })
+local s: {integer:string} = keys({ a = 1, b = 2 })
 print(table.concat(s))
 </code></pre>
                                 </div>
@@ -149,7 +150,7 @@ ab</code></pre>
                         <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>
                         <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>
                         <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>
-                        <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>
+                        <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>
 
         </body>
 </html>