Editing SETL (section)

==Language variants==
''SET Language 2'' (SETL2), a backward incompatible descendant of SETL, was created by Kirk Snyder of the Courant Institute of Mathematical Sciences at [[New York University]] in the late 1980s.<ref name=":1">{{Cite web |title=SETL2 - EDM2 |url=http://www.edm2.com/index.php/SETL2 |access-date=2024-04-24 |website=www.edm2.com}}</ref> Like its predecessor, it is based on the theory and notation of finite sets, but has also been influenced in syntax and style by the Ada language.<ref name=":1" />

''Interactive SET Language'' (ISETL) is a variant of SETL used in [[discrete mathematics]].<ref>{{Cite book |last=Baxter Hastings |first=Nancy |title=Learning discrete mathematics with ISETL |last2=Dubinsky |first2=Ed |last3=Levin |first3=Gary |date=1989 |publisher=Springer-Verlag |isbn=978-0-387-96898-8 |location=New York}}</ref>

''GNU SETL'' is a command-line utility that extends and implements SETL.<ref>{{Cite web |title=GNU SETL |url=https://setl.org/setl/ |access-date=2024-04-24 |website=setl.org}}</ref>