In response to a query I have now activated OCaml, Haskell and Coq syntax highlighting for Markdown code blocks.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Development of ocaml.org | 9 | 1350 | April 21, 2018 | |
| You Can Attend the New OCaml.org Community Meetings | 10 | 1483 | December 5, 2023 | |
| V3.ocaml.org: we are live! | 23 | 3598 | May 13, 2022 | |
| V3.ocaml.org: getting ready to launch | 42 | 6244 | February 18, 2022 | |
| Make discussion forum visible | 6 | 1435 | July 1, 2017 |