@athulsudheesh
Yep, some do: Qoto, Mathstodon, and types.pl have LaTeX support (maybe others too, these are the ones I know of). Qoto has Markdown support too, not sure if code has actual highlighting or just a <pre> tag.
```
map(1:5) do k
[n for n in 1:k]
end
```
@athulsudheesh
Well, the code segment support isn't great, it looks like. For some reason, it strips out newlines before applying the <pre> tag, so it's mainly only for inline `println("code like this")` or single line codeblocks.