[Haskell-cafe] ANN: th-alpha

[Julian Arni]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140511/bd072efb/attachment.html>