v0.12.2

What's Changed

• Support compilation using [dune]. by @rlepigre in #146

New Contributors

• @rlepigre made their first contribution in #146

Full Changelog: v0.12.1...v0.12.2

v0.12.1

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

v0.12.0

What's Changed

• Adapt to coq/coq#17795 (Polymorphic Class does not auto lower to Prop) by @SkySkimmer in #138
• Adapt to coq/coq#18164 by @Villetaneuse in #140

New Contributors

• @Villetaneuse made their first contribution in #140

Full Changelog: v0.11.8...v0.12.0

v0.11.8

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

v0.11.7

What's Changed

• Adapt w.r.t. coq/coq#16004. by @ppedrot in #127
• improved auto goal selection by @mrhaandi in #128

Full Changelog: v0.11.6...v0.11.7

v0.11.6

What's Changed

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

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

v0.11.5

What's Changed

• MonadLaws: add back return_of_bind by @liyishuai in #118

Full Changelog: v0.11.4...v0.11.5

v0.11.4

Added

• Monad: join function (#103).
• Monad: Allow patterns in let* notation (#97, by #108).
• OptionMonad: MonadExc instance (#112).
• FMapAList: alternative definition alist_find' and fold_alist' based on stdlib (#115).

Changed

• StateMonad: Monad_stateT into local instance (#106).
• ListMonad: use flat_map from stdlib (#113).

Deprecated

• String: prefer comparison functions from stdlib (#114).

Fixed

• StateGame.v example (#104).

v0.11.3

Deprecated

• curry and uncurry, which were added to Coq standard library since 8.13 (#98)

Removed

• Backtick notations to avoid conflict with standard library (#97, by #99)
• Definitions that exist in standard library (#98)

v0.11.2

Added

• Bind notation allowing for type cast annotations of variables (#93)
• let* monadic notation (#95, by #96)

Changed

• Functor_Fun and Applicative_Fun instances are global (#88, by #90)

Fixed

• Data: bug fix in TwoThreeK (#86)