we need alpha-equivalence
authorTomáš Musil <tomik.musil@gmail.com>
Fri, 12 Dec 2014 21:00:32 +0000 (22:00 +0100)
committerTomáš Musil <tomik.musil@gmail.com>
Fri, 12 Dec 2014 21:00:32 +0000 (22:00 +0100)
commit6429a37e59f5616e7d3091a0317d82d073401d55
tree244146a6fa91aa07396297db39af1084318988d9
parent356502c3cf71bb0e19a1c2166fcbbf5ae88a1805
we need alpha-equivalence
src/Lambda.hs