Stream: Coq Platform devs & users

Topic: Elpi not listed in README.md

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?

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: Jun 03 2023 at 04:30 UTC