Stream: Coq Platform devs & users

Topic: OCaml Platform talk

view this post on Zulip Karl Palmskog (Sep 14 2020 at 21:47):

didn't see this talk until now ("State of the OCaml Platform 2020"):

They have a pretty useful classification of core packages:

We could probably use something similar.

view this post on Zulip 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 14 2024 at 18:01 UTC