Mini-ML Recursive Types

Computation and Deduction
Chapters ??
Author: Frank Pfenning

mini-ml.elf     --- expressions
eval.elf	--- evaluation judgment
value.elf       --- value judgments
val-sound.elf   --- value soundness proof
tp.elf          --- types
tpinf.elf       --- typing judgment
tp-preserve.elf --- type preservation proof

examples.quy    --- example queries

sources.cfg     --- standard configuration