From: Tomáš Musil <tomik.musil@gmail.com>
Date: Fri, 12 Dec 2014 21:00:32 +0000 (+0100)
Subject: we need alpha-equivalence
X-Git-Url: http://git.tomasm.cz/fp.git/commitdiff_plain/6429a37e59f5616e7d3091a0317d82d073401d55?ds=sidebyside;hp=6429a37e59f5616e7d3091a0317d82d073401d55

we need alpha-equivalence
---