This is your work, valued
This project's goal is to model non-strict languages with effects using free monads in Coq.
