Update code highlighting for markdown to support Agda, Coq, Rust and OCaml
Update prism to latest with extra languages (Agda, Coq, Rust and OCaml)
Submitted by Elmer van Chastelet on 13 February 2023 at 09:12
Issue Log
On 13 February 2023 at 09:13 Elmer van Chastelet tagged 1.25.2
On 13 February 2023 at 09:13 Elmer van Chastelet closed this issue.
Log in to post comments