CDS0 Interpreter
================
(version 1.1)


Current map of the directory:

code:

base.sm		Required sml-yacc file (slightly modified)
cds.grm		Grammar for CDS0---generates parser (cds.grm.sml, cds.grm.sig)
cds.lex		Input to sml-lex---generates lexer (cds.lex.sml)
cell.grm	Grammar for cell names
cell.lex	Lexer for cell names
defs.sml	Basic CDS definitions
evaluate.sml	Evaluator
interface.sml	Interface for lexers and parsers
internal.sml	Transformation from parse trees to forests
join.sml	Applies functors to create everything
load-init.sml	Start up CDS0 initially
match.sml	Variables/pattern matching
parser.sml	Encapsulates yacc-produced parsers in more usable form
pcf.grm		Parser for PCF interpreter
pcf.lex		Lexer for PCF interpreter
pcfcode.sml	Translation from PCF to categorical combinators
pcfenv.cds	"Regular" PCF environment loaded at beginning
pcfrefenv.cds	"Refined" PCF environment loaded at beginning
print.sml	"Pretty" printer
qanda.sml	Questions and Answers--refinement type inference for exprs
refine.sml	Main refinement type inference module
subtype.sml	Functions for creating and maintaining subtype hierarchy
toplevel.sml	Top-level loop
type.sml	Internal representation for types
typecheck.sml	Plain (non-refinement) type inference


examples:	Various examples.  Look at comments inside files.

ai.cds
andtaster.cds
curien-book.cds
flip.cds
lazy-nat-ref.cds
lazy-nat.cds
pcfexamples.pcf
poly-curry.cds


doc:

guide11.[tex,dvi,ps]	User's guide
hi3.eps			Figure from guide
macros.tex		Macros used in guide
