10 May
2014
10 May
'14
7:55 p.m.
Hello Cafe, I just uploaded th-alpha to hackage [1]. This package primarily provides one function, 'areExpAEq', which compares expressions for alpha equivalence (equivalence modulo renaming of bound variables):
areExpAEq [| \x -> x |] [| \y -> y |] True
Pretty unambitious, but I found myself needing this when testing another library that uses Template Haskell, and it might be useful to others in that same situation. Cheers, Julian [1] https://hackage.haskell.org/package/th-alpha-0.1.0.2