Reduction Effects 0.1.5

What's Changed

• Adapt to coq/coq#17633 (decompose_app returns array not list) by @SkySkimmer in #17

Full Changelog: v0.1.4...v0.1.5

Reduction Effects 0.1.4

What's Changed

• adapt to coq/coq#15220 by @gares in #13

New Contributors

• @gares made their first contribution in #13

Full Changelog: v0.1.3...v0.1.4

Reduction Effects 0.1.3

To be included in Coq Platform 2021.11 (#12)

Changed

• Cleanup code; Minor improvement to wording of error message (#7)
• Switch license to MPL (#11)

Reduction Effects 0.1.2

Added

• Support Coq 8.10, 8.11

Removed

• No longer support Coq <= 8.9

Reduction Effects 0.1.1

Added

• Support Coq 8.9

Removed

• No longer support Coq <= 8.8

Reduction Effects 0.1.0

This is the first pre-release of the Coq reduction effect plugin.
We introduce the PrintingEffect module under the ReductionEffect namespace, including two functions, print and print_id, with usage demonstrated in tests directory.