% Copied from mini-ml and trimmed
mini-ml.elf
eval.elf
% De Bruijn representation and evaluation
debruijn.elf
trans.elf
feval.elf
% Correctness proof
map-eval.elf
% Examples
examples.quy