From: Tomáš Musil <tomik.musil@gmail.com>
Date: Tue, 30 Dec 2014 22:29:21 +0000 (+0100)
Subject: more work on Hindley-Milner
X-Git-Url: http://git.tomasm.cz/fp.git/commitdiff_plain/f9d54d61f2feba3f37c9e7c5f4ab87bf7b3e6166?ds=inline;hp=f9d54d61f2feba3f37c9e7c5f4ab87bf7b3e6166

more work on Hindley-Milner
---