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: Feb 05 2023 at 20:03 UTC