The binaries (executables) are
setl setlcpp setltran setlrunIf you put these in your /usr/local/bin, then executable scripts can start with the line:
#! /usr/local/bin/setl -kAnywhere on your PATH will do, however.
After installing the above files, and perhaps typing "rehash", you should be able to echo "57" with the command:
$ setl 'print(57);' # $ = shell prompt, # = shell commentThe language supported by this implementation tries very hard to be a superset of both the SETL described in "Programming with Sets: An Introduction to SETL" by Schwartz, Dewar, Dubinsky, & Schonberg (1986) and The SETL Programming Language by Dewar and Smosna, and of the SETL2 language described in The SETL2 Programming Language and SETL2: An Update on Current Developments, by Kirk Snyder. The main extensions over these versions of SETL are for string matching using regular expressions, a variety of systems programming features, and some extra syntactic conveniences.
A draft in progress of "Programming in SETL" appears at www.settheory.com. It describes many extensions to SETL not found in the implementation available here, whose built-in functions and operators are mostly described in my own humble and incomplete SETL Documentation.
dB bacon@cs.nyu.edu