[Haskell-cafe] ANN: th-alpha

Julian Arni jkarni at gmail.com
Sat May 10 23:55:43 UTC 2014

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 |]

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.


[1] https://hackage.haskell.org/package/th-alpha-
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140511/bd072efb/attachment.html>

More information about the Haskell-Cafe mailing list