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/figs/fig-ilmod.tex
ViewVC logotype

View of /papers/modulespaper/design/figs/fig-ilmod.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: 383 byte(s)
initial import
%!TEX root = ../principles.tex
\begin{figure}
\centering
\fixedCodeFrame{
\small
\[
\setlength{\tabcolsep}{0ex}
\renewcommand{\arraystretch}{1.1}
\begin{array}{rcll}
	m & ::= & VARstr \bnfalt STRstr \bnfalt APPstr \bnfalt LETstr \\
	f & ::= & VARfct \bnfalt FCTfct \bnfalt LETfct \\
	
\end{array}
\]
}
\nocaptionrule
\caption{Module internal language}
\label{fig:pureml}
\end{figure}

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