# 0.0.3
* Add 'name2Integer' method (christiaanb)
* Export internal type-directed `gaeq`, `gopen`, `gclose`, etc
functions from `Unbound.Generics.LocallyNameless.Alpha`.
Allows definitions like:
instance Alpha Term where
aeq' _ (Prim t1 _dk1) (Prim t2 _dk2) = t1 == t2
aeq' c t1 t2 = gaeq c (from t1) (from t2)
# 0.0.2.1
* Unconditionally add ErrorT and ExceptT instances using transformers-compat (bergmark)
# 0.0.2
* Add 'Rec' pattern and 'TRec' term combinators.
* Alpha instance for '()'
# 0.0.1
* Add 'lunbind2' function.
* Doc updates.
* Switch from 'HUnit' to 'Tasty' for testing.
# 0.0.0.90
* Initial (re-)implementation effort.