[nigwil_]

SETL has an interesting lineage and part to play in the history of computing:

The original SETL was implemented in a language known as LITTLE, Dave Shields noted in an email: "SETL was implemented in LITTLE, a language based on FORTRAN that had fixed=length bitfields as a fundamental data type."

Early SETL was used by Robert Dewar's team to implement the first validated Ada implementation, known as NYU Ada/Ed. This implementation worked as an interpreter.

We have a printed copy of the original SETL based NYU Ada/Ed but we are still to find the original SETL implementation. Maybe somewhere in the Courant Institute or their alumni there is someone with an original magnetic tape from the DEC VAX machine that ran these implementations.

[shakna]

> We have a printed copy of the original SETL based NYU Ada/Ed but we are still to find the original SETL implementation

This got me interested. I may not have found what you're looking for, but I found something.

The current git repo's first commit is "based upon SSoS2I 1.0.1" [0].

[0] https://github.com/herrmanntom/setlX/commit/ae1e8a16fb1c15d8...

[nigwil_]

interesting, someone has refined SETL2 into SetlX; I had not noticed that the SETL wikipedia entry has an entry for SetlX:

https://en.wikipedia.org/wiki/SETL

In my other reply in this thread I highlighted the lineage of SETL, I neglected to also mention that SETL was an influence on ABC that influenced Python.