lsts Command Line Interface
LSTS is distributed as a Command Line tool. The program processes files ending with the .tlc file extension. .tlc stands for Typed Lambda Calculus. To find a list of available commands, type lsts help.
lsts help
parse [filenames] -- parse files but nothing more
check [filenames] -- parse and typecheck files
build [filenames] -- compile provided files as a program
run [filenames] -- execute provided files as a program