4 ms·Exactly! It's a DSL for set theory. A true 4th-gen language. Perhaps the only truly successful 4GL.by ttfkam 5y agoExactly! It's a DSL for set theory. A true 4th-gen language. Perhaps the only truly successful 4GL.