Changelog for binder-0.3
Revision history for binder
version 0
0.3 -- 2023-10-09
- Add new functions
copyVar
andcopyVarList
. newVarList
: Refactoring.
0.2.1 -- 2023-10-09
- Expose the functions
unbind2
andunbind2List
.
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.