ftp.nice.ch/pub/next/science/mathematics/isetl-next.README

This is the README for isetl-next.3.0.NI.bd.tar.gz [Download] [Browse] [Up]

isetl-next
==========

The executable of isetl v3.0 compiled for NEXTSTEP (both m68k and
i386), compiled by modifying sources in isetlsrc.zip (located at
wuarchive.wustl.edu in edu/math/msdos/discrete.math).

doc/ -- The documentation files in isetldoc.zip (from the archives).

tests/ -- The tests from test.tar.Z obtained in 1989 from
clutx.clarkson.edu.  Very useful examples of isetl programming.

Roger Kirchner
rkirchne@mathcs.carleton.edu
12-29-93

ISETL (Interactive SET Language) is a programming language derived
from SETL by Gary Levin.  SETL was developed  by Jacob T. Schwartz
at the Courant Institute.   It features mathematical notation   and
ojects such as sets, tuples (sequences), and functions. It contains 
the usual  collection of statements common to procedural languages, 
but  a richer set of expressions.

   The  objects  of  ISETL  include integers,  floating  point numbers, 
funcs and procs (sub-programs),  strings, finite heterogeneous sets and  
tuples.

These are the contents of the former NiCE NeXT User Group NeXTSTEP/OpenStep software archive, currently hosted by Netfuture.ch.