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/aux/code.tex
ViewVC logotype

View of /papers/modulespaper/design/aux/code.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: 1567 byte(s)
initial import
\newcommand{\keywordaccent}[1]{{#1}}
\newcommand{\kfun}{\keywordaccent{fun}\xspace}
\newcommand{\kmfun}{\keywordaccent{mfun}\xspace}
\newcommand{\klet}{\keywordaccent{let}\xspace}
\newcommand{\kletx}{\keywordaccent{letX}\xspace}
\newcommand{\kin}{\keywordaccent{in}\xspace}
\newcommand{\kend}{\keywordaccent{end}\xspace}
\newcommand{\kendp}{\keywordaccent{end}}
\newcommand{\kif}{\keywordaccent{if}\xspace}
\newcommand{\kmif}{\keywordaccent{mif}\xspace}
\newcommand{\kthen}{\keywordaccent{then}\xspace}
\newcommand{\kelse}{\keywordaccent{else}\xspace}
\newcommand{\kreturn}{\keywordaccent{return}\xspace}
\newcommand{\kval}{\keywordaccent{val}\xspace}
\newcommand{\kcase}{\keywordaccent{case}\xspace}
\newcommand{\kmcase}{\keywordaccent{mcase}\xspace}
\newcommand{\kof}{\keywordaccent{of}\xspace}
\newcommand{\ktrue}{\keywordaccent{true}\xspace}
\newcommand{\kfalse}{\keywordaccent{false}\xspace}
\newcommand{\kand}{\keywordaccent{and}\xspace}
\newcommand{\knil}{\keywordaccent{nil}\xspace}
\newcommand{\kNIL}{\keywordaccent{NIL}\xspace}
\newcommand{\kcons}{\keywordaccent{cons}}
\newcommand{\kCONS}{\keywordaccent{CONS}}

%%selective memoization
\newcommand{\bang}[1]{\mathcd{!}\,{#1}}
\newcommand{\nletx}{\ensuremath{\mathcd{let*}}\xspace}
\newcommand{\nletbang}{\ensuremath{\mathcd{let!}}\xspace}
\newcommand{\nmcase}{\ensuremath{\mathcd{mcase}}\xspace}
\newcommand{\nreturn}{\ensuremath{\mathcd{return}}\xspace}
\newcommand{\nmfun}{\ensuremath{\mathcd{mfun}}\xspace}
\newcommand{\bxed}[1]{{#1}\,\mathcd{box}}
\newcommand{\nletq}{\ensuremath{\mathcd{let?}}\xspace}

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