Stream: Coq devs & plugin devs

Topic: Documentation discussion in OCaml's discuss


view this post on Zulip Emilio Jesús Gallego Arias (Apr 27 2021 at 16:35):

This could be interesting for the doc team https://discuss.ocaml.org/t/diataxis-documentation-structure/7750

view this post on Zulip Théo Zimmermann (Apr 28 2021 at 10:35):

Thanks for sharing! I was aware of the discussed framework but not of the ongoing discussion in the OCaml context.


Last updated: Oct 16 2021 at 03:02 UTC