6 ms·Haskell is mathematical sound. At least it tries to be.by centipede 19y agoHaskell is mathematical sound. At least it tries to be.