Stream: Coq devs & plugin devs

Topic: Documentation discussion in OCaml's discuss

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

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: Apr 19 2024 at 19:02 UTC