discrete math was taught in the CS department, by the professor who also taught Haskell lol. (he, uh, wasn't a great teacher. didn't really meet the students where they were at or check that they really understood. yay for perpetuating Haskell's elitist reputation...)
but i'm not sure, i don't know the history of why discrete math is so rare. it's not exactly rare in pure math research either, is it? but it probably gets less attention on its own, and its biggest success, graph theory, is seen as its own thing.
i made a language based on hereditarily finite sets, for if i ever feel the need to explain set theory again haha
