Code block metadata
Back in 2021 @julow introduced some new syntax to odoc's code blocks to allow us to attach arbitrary metadata to the blocks. We imposed no structure on this; it was simply a block of text in between the language tag and the start of the code block. Now odoc needs to use it itself, we need to be a bit more precise about how it's defined.
Read More →