ODIn/Website
9
0
Fork 1
Code Pull requests Releases Wiki Activity

Test

Browse source
This commit is contained in:
Oliver Kennedy 2017-09-13 01:12:23 -04:00
parent a9bb90e61b
commit de53c22c04
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
slides/talks/2017-4-Cornell-JITDs/index.html
View file

@ -299,7 +299,7 @@
<section>
<h3>Singleton</h3>
<table>
<tr><td style="text-align: right;">Visual:</td><td><img src="figs/singleton.svg" style="margin: 0px;"/></td></tr>
<tr><td style="text-align: right;">Visual:</td><td><img src="figs/Singleton.svg" style="margin: 0px;"/></td></tr>
<tr><td style="text-align: right;">UIL:</td><td>$Sng(x: \mathbb R)$</td></tr>
<tr><td style="text-align: right;">Logical:</td><td>$\{ x \}$</td></tr>
</table>
@ -308,7 +308,7 @@
<section>
<h3>Union Node</h3>
<table>
<tr><td style="text-align: right;">Visual:</td><td><img src="figs/union.svg" style="margin: 0px;"/></td></tr>
<tr><td style="text-align: right;">Visual:</td><td><img src="figs/Union.svg" style="margin: 0px;"/></td></tr>
<tr><td style="text-align: right;">UIL:</td><td>$\uplus(a: \mathbb P, b: \mathbb P)$</td></tr>
<tr><td style="text-align: right;">Logical:</td><td>$a \uplus b$</td></tr>
</table>
@ -317,7 +317,7 @@
<section>
<h3>Combining Primitives: Linked List</h3>
<table>
<tr><td style="text-align: right;">Visual:</td><td><img src="figs/linkedlist.svg" style="margin: 0px;"/></td></tr>
<tr><td style="text-align: right;">Visual:</td><td><img src="figs/LinkedList.svg" style="margin: 0px;"/></td></tr>
<tr><td style="text-align: right;">UIL:</td><td>\begin{align}LL :=\;&|\;U(Sng(x: \mathbb R), a: LL)\\&|\;Sng(x)\end{align}</td></tr>
<tr><td style="text-align: right;">Logical:</td><td>$\{ x \} \uplus a$ or $\{ x \}</td></tr>
</table>