Home My Page Projects Code Snippets Project Openings diderot
 Summary Activity Tracker Tasks SCM

# SCM Repository

[diderot] Diff of /trunk/doc/diderot.tex
 [diderot] / trunk / doc / diderot.tex

# Diff of /trunk/doc/diderot.tex

revision 19, Fri Jan 15 14:17:29 2010 UTC revision 20, Sat Jan 16 17:32:12 2010 UTC
# Line 29  Line 29
29  \thispagestyle{empty}  \thispagestyle{empty}
30
31  \section{Introduction}  \section{Introduction}
32  This document is a semi-formal design of Dedierot.  This document is a semi-formal design of Diderot.
33
34  \section{Types}  \section{Types}
35  The syntax of Diderot types is given in \figref{fig:types}.  The syntax of Diderot types is given in \figref{fig:types}.
36  \begin{figure}[t]  \begin{figure}[t]
37    \begin{displaymath}    \begin{displaymath}
38      \begin{array}{rclr}      \begin{array}{rclr}
39        \rho  & ::= & $\ldots$ & \text{NNRD types} \\[1em]        \rho  & ::= & $\ldots$ & \text{NRRD types} \\[1em]
40        \iota & ::= & \TYbool & \text{booleans} \\        \iota & ::= & \TYbool & \text{booleans} \\
41             & \mid & \TYint & \text{integers} \\[1em]             & \mid & \TYint & \text{integers} \\[1em]
42        \theta & ::= & \TYtensor{o}{d} & \text{tensors of order $o$ and dimension $d$} \\[1em]        \theta & ::= & \TYtensor{o}{d} & \text{tensors of order $o$ and dimension $d$} \\[1em]

Legend:
 Removed from v.19 changed lines Added in v.20

 root@smlnj-gforge.cs.uchicago.edu ViewVC Help Powered by ViewVC 1.0.0