Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /papers/modulespaper/design/syntax.tex
ViewVC logotype

View of /papers/modulespaper/design/syntax.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3564 - (download) (as text) (annotate)
Thu Sep 30 13:33:05 2010 UTC (8 years, 9 months ago) by dbm
File size: 2047 byte(s)
initial import
\newcommand{\structure}{\ensuremath{\mathbf{structure}}}
\newcommand{\functor}{\ensuremath{\mathbf{functor}}}
\newcommand{\struct}[1]{\ensuremath{\mathbf{struct}\{#1\}}}
\newcommand{\inx}{\ensuremath{\mathsf{in}}}
\newcommand{\en}{\ensuremath{\mathbf{end}}}
\newcommand{\local}{\ensuremath{\mathbf{local}}}
\newcommand{\letx}{\ensuremath{\mathsf{let}}}
\newcommand{\letin}[2]{\ensuremath{\mathbf{let}~#1~\mathbf{in}~#2}}
\newcommand{\where}{\ensuremath{\mathbf{where}}}
\newcommand{\sig}[1]{\ensuremath{\mathbf{sig}\{#1\}}}
\newcommand{\type}{\ensuremath{\mathbf{type}}}
\newcommand{\eqtype}{\ensuremath{\mathbf{eqtype}}}
\newcommand{\val}{\ensuremath{\mathsf{val}}}
\newcommand{\sharing}{\ensuremath{\mathbf{sharing}}}
\newcommand{\incl}{\ensuremath{\mathbf{include}}}
\newcommand{\exception}{\ensuremath{\mathbf{exception}}}
\newcommand{\Int}{\ensuremath{\mathbf{int}}}
\newcommand{\signature}{\ensuremath{\mathbf{signature}}}
\newcommand{\open}{\ensuremath{\mathbf{open}}}
\newcommand{\newx}{\ensuremath{\mathsf{new}}}
\newcommand{\getx}{\ensuremath{\mathbf{get}}}
\newcommand{\EP}{\ensuremath{\mathsf{EP}}}
\newcommand{\inj}{\ensuremath{\mathsf{inj}}}
\newcommand{\env}{\ensuremath{\mathsf{env}}}
\newcommand{\an}[1]{\ensuremath{\langle\langle #1 \rangle\rangle}}
\newcommand{\dt}{\ensuremath{\mathbf{datatype}}}
\newcommand{\letins}[2]{\ensuremath{\mathsf{let}~#1~\mathsf{in}~#2}}
\newcommand{\tycon}{\ensuremath{\mathsf{tycon}}}
\newcommand{\sel}[1]{\ensuremath{\mathsf{sel}(#1)}}
\newcommand{\coerce}{\ensuremath{\mathsf{coerce}}}
\newcommand{\lettyc}[2]{\ensuremath{\mathsf{let~tyc}~#1~\mathsf{in}~#2}}
\newcommand{\lettycline}[2]{\ensuremath{\begin{array}{l}
\mathsf{let~tyc}~#1\\\mathsf{in}~#2\end{array}}}
\newcommand{\tyc}{\ensuremath{\mathsf{tyc}}}
\newcommand{\inlet}{\ensuremath{\mathsf{in~let}}}
\newcommand{\inv}{\ensuremath{\mathsf{inv}}}
\newcommand{\entpath}{\ensuremath{\mathsf{entpath}}}
\newcommand{\typ}{\ensuremath{\mathsf{typ}}}

\newcommand{\Uclo}{\ensuremath{\Upsilon_{c}}}
\newcommand{\Uloc}{\ensuremath{\Upsilon_{l}}}

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