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.