I’ve been thinking a bit about how to emulate MetaOCaml in Coq and was interested to see what people thought about it.
https://www.philipzucker.com/metaocaml-style-partial-evaluation-in-coq/
Suggestions welcome, thanks!
1 Like