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

SCM Repository

[diderot] Diff of /trunk/doc/typing/defs.tex
ViewVC logotype

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

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

revision 65, Thu May 13 21:04:35 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}

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

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