Diff of /trunk/doc/typing/defs.tex

Parent Directory | Revision Log | Patch

	revision 64, Thu May 13 17:32:28 2010 UTC	revision 66, Thu May 13 23:12:28 2010 UTC
#	Line 104	Line 104
104
105	% Diderot types	% Diderot types
106	%	%
107		\newcommand{\TYconst}{\iota}
108	\newcommand{\TYbool}{\mathbf{bool}}	\newcommand{\TYbool}{\mathbf{bool}}
109	\newcommand{\TYint}{\mathbf{int}}	\newcommand{\TYint}{\mathbf{int}}
110	\newcommand{\TYreal}{\mathbf{real}}	\newcommand{\TYreal}{\mathbf{real}}
#	Line 123	Line 124
124	\newcommand{\OPdiff}{\OP{D}}	\newcommand{\OPdiff}{\OP{D}}
125	\newcommand{\OPconvolve}{\OP{convolve}}	\newcommand{\OPconvolve}{\OP{convolve}}
126
127		% unification
128		%
129		\newcommand{\U}[1]{\mathcal{U}(#1)}
130
131	% typing judgments	% typing judgments
132	%	%
133	\newcommand{\HasTy}[2]{#1 : #2}	\newcommand{\HasTy}[2]{#1 : #2}

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.64   changed lines   Added in v.66

---

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