% Meta-interpreter
incll.elf
lists.elf
iosequents.elf

% Sample INCLL programs and queries
parse-lolli.elf
parse-lolli.quy

parse-incll.elf
parse-incll.quy

search-incll.elf
search-incll.quy

lists-incll.elf
lists-incll.quy

sort-incll.elf 
sort-incll.quy

cpm-incll.elf
cpm-incll.quy

bff-incll.elf
bff-incll.quy

% pre-incll.elf
% pre-incll.quy