v0.11.8
·
31 commits
to master
since this release
What's Changed
- Re-add continuation monad by @Lysxia in #130
- adapt for coq/coq#17133 by @andres-erbsen in #133
New Contributors
- @andres-erbsen made their first contribution in #133
Full Changelog: v0.11.7...v0.11.8
Contributors
andres-erbsen and Lysxia