And according to these searches there are no references to SETL the language at GNU’s website: https://www.gnu.org/cgi-bin/estseek.cgi?phrase=setl&perpage=10&a

And according to these searches there are no references to SETL the language at GNU’s website: https://www.gnu.org/cgi-bin/estseek.cgi?phrase=setl&perpage=10&attr=&order=&clip=-1&navi=0 https://www.gnu.org/cgi-bin/estseek.cgi?phrase=setl&perpage=... https://www.google.com/search?q=site%3Agnu.org+%22setl%22 https://www.google.com/search?q=site%3Agnu.org+%22setl%22