Support for Coq 8.10 - Githubissues

coq-community / reduction-effects

A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]

Mozilla Public License 2.0

6 stars 6 forks source link

Closed JasonGross closed 4 years ago

JasonGross commented 4 years ago

We should branch the 8.9 support and add support for 8.10 and newer (requires changing .ml4 to .mlg). We should probably also add this to Coq's CI