v0.12.1

liyishuai released this 26 Jan 06:49

· 9 commits to master since this release

What's Changed

Remove deprecated definitions by @liyishuai in #141
quick ixmonad and examples by @jldodds in #55
non-looping rwHyps by @aa755 in #119
Add Hint Mode to Functor, Applicative, Monad by @Lysxia in #126
Adapt to coq/coq#18590 by @proux01 in #142

New Contributors

@jldodds made their first contribution in #55
@proux01 made their first contribution in #142

Full Changelog: v0.12.0...v0.12.1

Contributors

aa755, jldodds, and 3 other contributors

Assets 2