# 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.