Changelog for unbound-

Version 0.2: 24 March 2011 * Initial release to go along with submission of "Binders Unbound". Version 0.2.1: 28 March 2011 * Massive update to documentation. Version 0.2.2: 29 March 2011 * Add MonadFix instances for FreshM and LFreshM. Thanks to Job Vranish for the suggestion. Version 0.2.3: 20 April 2011 * Fix minor bugs in - tutorial/Tutorial.lhs - examples/Abstract.hs - examples/STLC.hs Thanks to Ki Yung Ahn for the reports. Version 0.2.5: 13 July 2011 * Fix bug in mkPerm which caused unbind2 to unexpectedly fail when dealing with binders with non-disjoint sets of names. Thanks to Sean Leather for the report. * Clean up some compiler warnings. Version 0.3: 24 August 2011 * New permutation- and set-binding functions, for creating binders which don't care about the order of multiple bound names, and/or about unused bound names. * Bump RepLib dependency to 0.5, which now has support for GADTs without existential type variables. Version 0.3.1: 25 August 2011 * Update to build on GHC 7.2.1 Version 0.4: 15 March 2012 * Update to build on GHC 7.4.1 * add MonadWriter instances for FreshMT and LFreshMT * Make 'getAvoids' function into a method of the LFresh class Version 23 March 2012 * Remove broken links from documentation Version 10 April 2012 * Bump 'mtl' upper bound to allow mtl-2.1 Version 0.4.1: 5 June 2012 * Patch from Vilhelm Sjöberg changing acompareR1 to return EQ for Abstract1 Version 21 Aug 2012 * Bump containers upper bound and test with GHC 7.6.1 Version 0.4.2: 15 July 2013 * remove derived instances: MonadState for FreshMT and MonadReader for LFreshMT. No one should have been using these anyway, and they made it impossible to use these transformers together with your own state. * added unbind variants [l]unbind{23}Plus for conveniently unbinding in a MonadPlus context. Version 0.4.3: 29 January 2014 * Add Binary instances for Name, GenBind, Rebind, and Embed. Note that although the PVP requires a major version bump for added instances, it was impossible to write these instances outside of the package, so there is no danger of breakage. Version 8 May 2014 * Allow transformers-0.4 and mtl-2.2