15-851
Computation & Deduction
Spring 1997
Frank Pfenning
Code
The code is organized into directories which follow the structure of the
languages and chapters in the course notes. Each directory contains a
CONFIG file for use with the Elf server and a
TAGS file for easy navigation and search in Emacs. Files
with sample queries (usually
examples.quy) are generally
not loaded, but the queries are transmitted to the server individually.
The file
load.sml is for an older version of Elf which runs
embedded in the SML top-level environment, rather than as a separate
server.
©
Frank Pfenning 1992-1997
fp@cs