Big news! Sonar has entered a definitive agreement to acquire Tidelift!

grisette-monad-coroutine
Release 0.2.0.0

Orphan instances and wrappers for monad-coroutine package with Grisette.

Keywords: formal-methods, library, smt, symbolic-computation, theorem-provers, Propose Tags, Skip to Readme, Index, Quick Jump, Grisette.Lib.Control.Monad.Coroutine, Grisette.Lib.Control.Monad.Coroutine.SuspensionFunctors, Grisette.Lib.MonadCoroutine, More info, grisette-monad-coroutine-0.2.0.0.tar.gz, browse, Package description, Package maintainers, siruilu, edit package information , 0.1.0.0, monad-coroutine, Grisette
License: BSD-3-Clause
Install: cabal install grisette-monad-coroutine-0.2.0.0

grisette-monad-coroutine

This package provides support for the monad-coroutine package with Grisette.