Revision history for binder

version 0

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.