.

[hacks/simpleWebSlides.git] / pres-esop15 / 01.xhtml

diff --git a/pres-esop15/01.xhtml b/pres-esop15/01.xhtml
index e1e432e..fe24755 100644 (file)
--- a/pres-esop15/01.xhtml
+++ b/pres-esop15/01.xhtml
@@ -309,7 +309,7 @@
     <div class="sws-slide">
       <h1>&cduce;'s type algebra</h1>
 <p>A set &mathT; of types</p>
-<pre style="text-align:center;">    t ::=  b  |  c  |  <u>t × t</u>  |  <u>t &rarrow; t</u>  |  <a>t &lor; t</a>  |  <mark>t  &land; t</mark>  |  <mark>t &setminus; t</mark>  |  <mark>&top;</mark>  |  <mark>&bottom;</mark>  |  &alpha;
+<pre style="text-align:center;">    t ::=  b  |  c  |  <u>t × t</u>  |  <u>t &rarrow; t</u>  |  <mark>t &lor; t</mark>  |  <mark>t  &land; t</mark>  |  <mark>t &setminus; t</mark>  |  <mark>&top;</mark>  |  <mark>&bottom;</mark>  |  &alpha;
 </pre>
 <p><dfn>b</dfn> : ranges over basic types (<tt>Int</tt>, <tt>String</tt>, …)<br/>
    <dfn>c</dfn> : ranges over singleton types