theories/base.v · 6348c6aaf50aed9ee7d97048ef37c5dd585021f0 · Adam / stdpp

Forked from Iris / stdpp

Source project has a limited visibility.

3 years ago

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

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

This fixes issue #76.

The code includes a horrible hack that should removed once support for Coq versions prior
to 8.13 is dropped.

6348c6aa

History

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

Robbert Krebbers authored 3 years ago

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

This fixes issue #76.

The code includes a horrible hack that should removed once support for Coq versions prior
to 8.13 is dropped.