ParentFull threadavernet·Here is a link:http://www.haskell.org/haskellwiki/Correctness_of_short_cut_...View on HN