Reduction Effects 0.1.2

Pre-release

Pre-release

JasonGross released this 28 Jan 05:17

· 18 commits to master since this release

b8dd829

Added

Support Coq 8.10, 8.11

Removed

No longer support Coq <= 8.9

Assets 2