SETL2 is a descendant of the SETL programming language.
Template:Compu-lang-stub
Categories: Set theoretic programming languages