Skip to content

Releases: coq-community/coq-ext-lib

v0.12.2

05 Sep 01:46
Compare
Choose a tag to compare

What's Changed

New Contributors

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

v0.12.1

26 Jan 06:49
Compare
Choose a tag to compare

What's Changed

New Contributors

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

v0.12.0

22 Oct 14:28
Compare
Choose a tag to compare

What's Changed

New Contributors

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

v0.11.8

09 Mar 05:06
5f48fb3
Compare
Choose a tag to compare

What's Changed

New Contributors

Full Changelog: v0.11.7...v0.11.8

v0.11.7

10 Aug 12:24
Compare
Choose a tag to compare

What's Changed

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

v0.11.6

19 Jan 11:43
Compare
Choose a tag to compare

What's Changed

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

v0.11.5

27 Oct 20:19
43e979b
Compare
Choose a tag to compare

What's Changed

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

v0.11.4

23 Sep 06:15
aeb71ca
Compare
Choose a tag to compare

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

24 Nov 11:30
159c361
Compare
Choose a tag to compare

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

07 Aug 15:33
2fa52d2
Compare
Choose a tag to compare

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)