Version 0.1

Major version bump: Handwritten Alpha instances have to provide an acompare' method

Version 0.0.3

v0.0.3

Version 0.0.3

v0.0.2.1

Release 0.0.2.1

v0.0.2

• Added Rec and TRec combinators
  • Test case
• Added an Alpha instance for ()

tasty

No major changes. Added 'lunbind2' function. Switched to 'tasty' for tests.

Add LC example. (from sdiehl:unbound-generics)

v0.0.1

Also update travis install command.

Minimal usable implementation.

This version has enough functionality for languages with moderately interesting binding structure. For example, see the unbound-generics branch of pi-forall.