Closed meraymond2 closed 3 years ago
Syntax highlighting for idris code blocks inside markdown files. Just follows this example.
Syntax highlighting for idris code blocks inside markdown files. Just follows this example.