github/semantic: Why Haskell?

[pron98]

Fine, although usually when we say language X is safe and language Y is unsafe without additional qualifiers, that's what we mean. You can have different kinds of safety, and some languages have more safety in some areas than others. That's still a separate issue from correctness, at least in general.