This is the course directory for 6.044, "Computability, Programming,
and Logic", Fall 1993.

It contains LaTeX source for course handouts.  The file

    inputs/handouts-6044-fall-93.tex

contains the mapping of handout numbers to files.  For example, the
line

  \hlabel{last-year-outline}{3}   % last-year-outline.tex

indicates that the LaTeX source of handout number 3 is in the file
last-year-outline.tex.


The directory substitution-model-scm contains MIT scheme source code
for the implementation of the substitution model.


The directory FALL-1992-ARCHIVE contains the course notes from fall
1992.
