ucsd-progsys/liquidhaskell — pull request #80 by nikivazou (2013-06-08 20:26:59+00:00)
Title: expandTypeSynonyms before comparing types

Fix for #79