Stream: Coq Platform devs & users

Topic: Elpi not listed in README.md


view this post on Zulip Karl Palmskog (Sep 30 2020 at 16:13):

Although elpi (as opposed to coq-elpi) is included in the platform, it is not included in the list in README.md. I believe this is an omission?

view this post on Zulip Karl Palmskog (Sep 30 2020 at 16:23):

hmm, in the opam repo files, I actually see elpi but not coq-elpi. Is this intended?


Last updated: Jan 29 2023 at 19:02 UTC