SCM Repository
[diderot] / branches / opencl / doc / diderot.tex |
Diff of /branches/opencl/doc/diderot.tex
Parent Directory
|
Revision Log
|
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] |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |