grisette-monad-coroutine
Version 0.2.0.0 revision 0 uploaded by siruilu.
Package meta
- Synopsis
- Support for monad-coroutine package with Grisette
- Description
Orphan instances and wrappers for monad-coroutine package with Grisette.
- Author
- Sirui Lu
- Bug reports
- https://github.com/lsrcz/grisette-monad-coroutine/issues
- Category
- Formal Methods, Theorem Provers, Symbolic Computation, SMT
- Copyright
- 2021-2024 Sirui Lu
- Homepage
- https://github.com/lsrcz/grisette-monad-coroutine#readme
- Maintainer
- Sirui Lu (siruilu@cs.washington.edu)
- Package URL
- n/a
- Stability
- n/a