%%% Mini-ML in natural argument order and explicit arguments
mini-ml.elf
eval1.elf
examples1.quy