search

MetaCoq / metacoq

Metaprogramming, verified meta-theory and implementation of Coq in Coq
https://metacoq.github.io
MIT License
370 stars 79 forks source link

Restore compatibility with OCaml < 4.13 #1023

Closed JasonGross closed 7 months ago

JasonGross commented 9 months ago

Fixes #1022 after #998

Is there a better way to do this? Do we need to do something with licensing?

JasonGross commented 7 months ago

Going to merge this, @mattam82 or others please feel free to replace with something else