ほとんどの大学は情報学科でhaskellなんてならわない
むしろ数学科のほうが学ぶ可能性が高い
名大は数学科だと定理証明系を習うみたいだね