Revision history for binder

version 0

0.3 -- 2023-10-09

• Add new functions copyVar and copyVarList.
• newVarList: Refactoring.

0.2.1 -- 2023-10-09

• Expose the functions unbind2 and unbind2List.

0.2 -- 2023-10-06

• Add operations for list.
• Integrate mkFree function into Var and Binder.
• Now MkFree requires monadic instance.
• Binder requires Monad typeclass.

0.1 -- 2023-10-04

Initial release.