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