Title
setlX TutorialCatalog Number
102803654Type
DocumentDescription
Tutorial version 2.7.0 for SetlXSource code and tutorial/reference manual for setlX, an implementation of SetlX, which is a dialect of SETL designed by Tom Herrmann. The manual is by Karl Stroetmann and Tom Herrmann.