CMPSCI 630 (691F) Programming Languages Spring 2009

Last Update 2:45pm Tues Feb 24 .

1. Per John Altidor:
   The two popular Latex packages I found for typesetting inference rules are mathpartir and proof. Below are links to the sources & documentation
   
   mathpartir: http://cristal.inria.fr/~remy/latex/
   
   proof: http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/ndexamples/proofsty.html
   
   
2. Here's an example of a standard header for LaTeX homework files, taken from a sample solution file:
   
   \documentclass[11pt,letterpaper]{article}
   \usepackage[latin1]{inputenc}
   \usepackage{amsmath}
   \usepackage{amsfonts}
   \usepackage{amsthm}
   \usepackage{amssymb}
   \usepackage{moreverb}
   \usepackage{graphicx}
   \usepackage{subfigure}
   \usepackage[left=1in,top=1in,right=1in,nohead]{geometry}
   \usepackage[tiny,compact]{titlesec}
   \author{Sample Solution}
   \title{CS630 HW\#1}
   \begin{document}
   \maketitle
   
   
   \newcommand{\INFER}[2]
   { %% start of the macro
   \begin{tabular}{c} %% just one column
   {#1} \\ %% first line
   \hline %%line to appear
   {#2} %% second line
   \end{tabular}
   } %% end
   
   
   Note that {\INFER {a} {b} } will produce a judgment "a over b"
   This command can be embedded within in itself:
   
   {\INFER {{\INFER {a} {b}}} {c} } will produce a judgment "a over b over c"