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

SCM Repository

[diderot] Diff of /branches/vis12-cl/doc/diderot.tex
ViewVC logotype

Diff of /branches/vis12-cl/doc/diderot.tex

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

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