Dafny language does not have syntax highlighting in markdown block

e.g.

function G(x: int): int  decreases x + 1 when x >= 0 {  if 0 <= x then G(x - 2) else x }

Does not contain syntax highlighting
Links to language:

• https://dafny.org/

• https://github.com/dafny-lang/dafny

Thanks.