SETL programming language

SETL is a general-purpose, high-level programming language in which sets and first-order mappings are fundamental to the syntax and semantics of the language. Described here are some modest extensions to the SETL language and core “library”, and a SETL implementation. Please tell dB if you find a bug or misfeature in this SETL implementation, or a corrigible bit in its documentation.

Source: setl.org