No code here?

[lgaeher]

I came here looking for a separate release of the ident-to-string mechanism from https://github.com/mit-plv/koika/blob/master/coq/IdentParsing.v, but this repository currently does not contain any code. Is this by accident, and if so, could the code be added here? (assuming that this is indeed the intended purpose of this repository)

FWIW, I cannot use the code from the Kôika repository in my project, as it is licensed under GPL, which I don't want to also taint my project. But with the MIT license of this repository, I would actually be able to use it.

[threonorm]

In coqutil (MIT license):

https://github.com/mit-plv/coqutil/blob/master/src/coqutil/Macros/ident_to_string.v

[lgaeher]

Great, thanks for the pointer!

[cpitclaudel]

We should move the ident-to-string code here. The intent was to re-release it as a separate project under the MIT license (and put it on OPAM); unfortunately we have found the time to do neither.