% copied from mini-ml
mini-ml.elf
eval.elf
% subtyping
intersect.elf
tps.elf
% examples.quy