[Haskell-cafe] ANN: th-alpha
jkarni at gmail.com
Sat May 10 23:55:43 UTC 2014
I just uploaded th-alpha to hackage . This package primarily provides
one function, 'areExpAEq', which compares expressions for alpha equivalence
(equivalence modulo renaming of bound variables):
>> areExpAEq [| \x -> x |] [| \y -> y |]
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe