🚀 go-pugleaf

You may have a look at ISETL.

It is an interpreted implementation of SETL. It has been created to
support the course in discrete math which is described in the lecture
book:
       Teaching Discrete Mathematics with ISETL
       N. Baxter, E. Dubinsky, G. Levin
       1989 Springer-Verlag.

The book is really interesting.

The interpretor is very good for education purposes (we use it since 3
years for our introductory computer science course). Among its
qualities:
  - the implementation is correct and contains all interesting
features of SETL
  - it is sufficiently robust and simple to use for students
  - it runs on PC, MAc, UNIX, ... (the sources of version 3 are
available)
  - it is freely distributable (version 3) for education purposes.


Jean-Pierre Jacquot


==============================================================================
Jean-Pierre JACQUOT        CRIN (Centre de Recherche en Informatique de Nancy)
e-mail: jacquot@loria.fr
post:   CRIN   B.P. 239   F-54506 Vandoeuvre-les-Nancy Cedex   FRANCE
phone:  +33  83.91.23.89
fax:    +33  83.41.30.79
==============================================================================