🚀 go-pugleaf

There is a SETL compiler.  Contact schonberg@acf2.nyu.edu for more
information.  There is a version for Vaxen.  They were also working on
a PC compiler.  Don't know the state of things.

I have implemented a highly portable version that is interactive and
interpreted.  The implementation is called ISETL and is available for
free through FTP or an archive server.  Feel free to write me if you
have questions on ISETL.  ISETL runs on PCs, Macs, Vaxen (Unix and
VMS), and most anything with a C compiler and 0.5M.  I have heard of
people compiling it on Atari-STs and Amigas, but I don't have
executables for those machines.  There is a book that describes using
ISETL for learning discrete math called ``Learning Discrete
Mathematics with ISETL'' [clever title :-)] by Baxter, Dubinsky, and
Levin(me).

You can fetch ISETL from clutx.clarkson.edu:pub/ISETL.  There are
source, documentation, test directories.  The READ.ME explains things.

You can fetch the ISETL Source code by mailing requests to 
archive-server@sun.soe.clarkson.edu
archive-server%sun.soe.clarkson.edu@clutx    from bitnet

The description of how to do this is below.  First send to this
address, with the message `send isetl index'.  The file below is what
you will receive as the index, so you can go to the next step and try
`send isetl/source index'.  You'll need to request the files a few at
a time.


This should work for all Arpanet and UUCP nodes.  I hope that it will
work for all Bitnet nodes as  well.  You can now get ISETL source,
tests, documentation, and demos through e-mail.  You will send a
one line message to `archive-server@sun.soe.clarkson.edu', and files
will be sent to you.  A description of what is available is included
below.  When  you make a request, the files are packaged into one mail
message.  You strip the header off and direct the files through `sh'.
On non-unix systems, you will need to split up the files manually.
Alternately, request each file separately.
     
-----------
This material may be freely copied and distributed, so long as credit
is given to the author, and no profit is made on the distribution.
     
Direct questions to `gary@clutx.bitnet' or `gary@clutx.clarkson.edu'.
     
Category        Contents
====================================================================
Demo            Files that display some of the uses of ISETL.
                Suitable to be given to novices for an initial
                sample of ISETL.
Doc             Line printer approximations to the ISETL Documentation.
                Printed copies can be ordered from Gary Levin
                (address below) $10.  Unlimited copies may be
                made without additional fees.
Source          Source code for ISETL.
                On Unix systems, `make YOURSYSTEM'.
                Generally, compile and link all the .c files.
                See `machine.h' for system dependent features that
                should be considered.
Tests           Many programs with sample outputs.
                Running `isetl -s -d <X.t' will produce X.r
read.me         A description of the files and how to recreate ISETL.
     
The space usage (in Kbytes) for these directories is
339     ./Source
120     ./Doc
120     ./Tests
19      ./Demo
     
     
Compiled versions are available for MSDOS, Mac, Vax/VMS, Vax Unix, 3B2
SysV, Suns.  Write for further information.  MSDOS and Mac disks are $10,
others are $15.  Unlimited copies may be made and distributed without
additional fees.
     
To retrieve files or indices, send requests to
      archive-server@sun.soe.clarkson.edu
Bitnet Users should use:
      archive-server%sun.soe.clarkson.edu@clutx
     
Examples:
    To see the index for Demo, send
            send ISETL/Demo index
     
    To retrieve files  comb, debug, and function from Demo, send
            send ISETL/Demo comb debug function
     
Capitalization does not matter.  Unfortunately, you need to request
files explicitly -- wildcards don't work.
     
-----
Gary Levin/Dept of Math & CS/Clarkson Univ/Potsdam, NY 13676/(315) 268-2384
BitNet: gary@clutx   Internet: gary@clutx.clarkson.edu



--
Gary Levin/Dept of Math & CS/Clarkson Univ/Potsdam, NY 13676/(315) 268-2384
BitNet: gary@clutx   Internet: gary@clutx.clarkson.edu