start work on unification
authorTomas Musil <tomik.musil@gmail.com>
Tue, 30 Dec 2014 19:04:39 +0000 (20:04 +0100)
committerTomas Musil <tomik.musil@gmail.com>
Tue, 30 Dec 2014 19:05:01 +0000 (20:05 +0100)
commit7b1d09697fa612b0ccdf30062dce7c6f0d5f4eeb
tree6ee3e7a1ccff89acd18a843d07023194e6230e9e
parent891001c31cd71632b828e79248e82f6fcda5dc3f
start work on unification
src/Lambda/Type.hs