mini-ml.elf
debruijn.elf
trans.elf
feval.elf
eval.elf
map-eval.elf
examples.quy