3 ms·don't Agda, ATS, epigram and Coq programmers look down their noses at haskellby gtani 16y agodon't Agda, ATS, epigram and Coq programmers look down their noses at haskell