fix bug in unification
authorTomáš Musil <tomik.musil@gmail.com>
Sun, 6 Sep 2015 16:28:10 +0000 (18:28 +0200)
committerTomáš Musil <tomik.musil@gmail.com>
Sun, 6 Sep 2015 16:28:10 +0000 (18:28 +0200)
commit33464c9ce7b0b1559f8cb23734065b8ecdd382c1
treef7b97b7b0fa49cc023ea5ad14d6834d729a7c440
parent94f9e5a83598d189b1dd90d4fec0927622a8b778
fix bug in unification
src/HM.hs