Swap `curry` and `uncurry` to be consistent with Haskell and friends. (!297) · Merge requests · Iris / stdpp

Merged Robbert Krebbers requested to merge robbert/curry into master Jul 16, 2021

This also applies to (un)curry{3,4}, gmap_(un)curry, and h(un)curry.

This fixes issue #76 (closed).

The code includes a horrible hack that should removed once support for Coq versions prior to 8.13 is dropped, see https://github.com/coq/coq/pull/12716.

Swap `curry` and `uncurry` to be consistent with Haskell and friends.

Merge request reports