home *** CD-ROM | disk | FTP | other *** search
/ Peanuts NeXT Software Archives / Peanuts-2.iso / Science / mathematics / isetl-next.README < prev    next >
Encoding:
Text File  |  1993-12-30  |  997 b   |  28 lines
  1. isetl-next
  2. ==========
  3.  
  4. The executable of isetl v3.0 compiled for NEXTSTEP (both m68k and
  5. i386), compiled by modifying sources in isetlsrc.zip (located at
  6. wuarchive.wustl.edu in edu/math/msdos/discrete.math).
  7.  
  8. doc/ -- The documentation files in isetldoc.zip (from the archives).
  9.  
  10. tests/ -- The tests from test.tar.Z obtained in 1989 from
  11. clutx.clarkson.edu.  Very useful examples of isetl programming.
  12.  
  13. Roger Kirchner
  14. rkirchne@mathcs.carleton.edu
  15. 12-29-93
  16.  
  17. ISETL (Interactive SET Language) is a programming language derived
  18. from SETL by Gary Levin.  SETL was developed  by Jacob T. Schwartz
  19. at the Courant Institute.   It features mathematical notation   and
  20. ojects such as sets, tuples (sequences), and functions. It contains 
  21. the usual  collection of statements common to procedural languages, 
  22. but  a richer set of expressions.
  23.  
  24.    The  objects  of  ISETL  include integers,  floating  point numbers, 
  25. funcs and procs (sub-programs),  strings, finite heterogeneous sets and  
  26. tuples.
  27.  
  28.