search

agda / agda-github-syntax-highlighting

Syntax highlighting used on GitHub
MIT License
4 stars 4 forks source link

Keywords followed by semicolon not highlighted #5

Open andreasabel opened 2 years ago

andreasabel commented 2 years ago

Keywords followed by semicolon not highlighted:

record Bla : Set where
  no-eta-equality; pattern; constructor foo

Here, no-eta-equality and pattern are not highlighted.