Stream: Coq devs & plugin devs

Topic: OCaml's new Epheremron API

view this post on Zulip Emilio Jesús Gallego Arias (Nov 03 2021 at 14:58):

See https://github.com/ocaml/ocaml/pull/10737 , feedback from Coq devs have been requested

view this post on Zulip Enrico Tassi (Nov 03 2021 at 17:16):

Do we use any deprecated API? It does not seem so (gave only a quick look)

Last updated: Oct 08 2024 at 14:01 UTC