Overview

This library is not currently developed.
Please take a look at https://bitbucket.org/gds/coq-practical-monads/