isetl was what we used for my discrete math course 20 years ago or so. I remember other students complaining about having to learn it. "when are we going to use this language".
isetl was what we used for my discrete math course 20 years ago or so. I remember other students complaining about having to learn it. "when are we going to use this language".
Same and I hated it, tbh (but my experience was like 30 years ago). My prof insisted all work be done in SETL and did a terrible job of actually introducing us to the language, yet we had to submit our work as SETL code. Like, yay set theory, but I learned more implementing my homework in C and SmallTalk.