Stream: Coq Platform devs & users

Topic: OCaml Platform talk

Karl Palmskog (Sep 14 2020 at 21:47):

didn't see this talk until now ("State of the OCaml Platform 2020"): https://www.youtube.com/watch?v=E8T_4zqWmq8

They have a pretty useful classification of core packages:

• incubated
• actively developed
• sustained
• deprecated

We could probably use something similar.

Théo Zimmermann (Sep 15 2020 at 07:06):

Yes, although note the distinct focus on tools and not libraries that Anil confirmed in this talk, despite my earlier interactions with him this year.

Last updated: Jun 03 2023 at 03:01 UTC