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"): https://www.youtube.com/watch?v=E8T_4zqWmq8

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: Jan 30 2023 at 11:03 UTC