v0.11.6

liyishuai released this 19 Jan 11:43

· 46 commits to master since this release

99f7abd

What's Changed

Adapt w.r.t. rocq-prover/rocq#15442. by @ppedrot in #120
Move Data.Monads.ListMonad to Data.List by @liyishuai in #123

Full Changelog: v0.11.5...v0.11.6

Contributors

ppedrot and liyishuai

Assets 2