-
Robbert Krebbers authored
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
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.