ISETL
From the SETL Wiki
ISETL is a small, interactive version of SETL developed from the mid-1980s to 2001 by Gary Levin in collaboration with Ed Dubinsky. It was designed to be similar in syntax to CIMS SETL with the added feature of first class functions.
ISETLW adds a graphical user interface for Microsoft Windows.
The last release was version 3.0, in 2001.


