2 ms·

I'm glad my suspicion about Haskell is confirmed on account of the complete absence of its mention on that page: Haskell is an unfortunate contraption of compu

I'm glad my suspicion about Haskell is confirmed on account of the complete absence of its mention on that page: Haskell is an unfortunate contraption of computer science with the primary goal of looking down upon programmers for not knowing enough math, and looking down upon mathematicians for not knowing enough programming.

smadge 8y ago
That page compares proof assistants. Haskell is not a proof assistant and it is not designed to be. I don't think its presence or absence from the list provides any evidence for your opinion about the language.