Search results

How to test now that github-lightshow.herokuapp is gone?

Status: Open.

#6 In agda/agda-github-syntax-highlighting;

· andreasabel opened on May 3, 2022

Keywords followed by semicolon not highlighted

Status: Open.

#5 In agda/agda-github-syntax-highlighting;

· andreasabel opened on May 3, 2022

<code>data</code> not always highlighted correctly

Status: Open.

#4 In agda/agda-github-syntax-highlighting;

· ajrouvoet opened on Nov 25, 2020

Unify with <code>language-agda</code>?

Status: Open.

#3 In agda/agda-github-syntax-highlighting;

· rwe opened on Jul 23, 2020

Highlight the <code>as</code> part of import statements.

Status: Open.

#2 In agda/agda-github-syntax-highlighting;

· ice1000 opened on Jul 23, 2020