/agda-github-syntax-highlighting

Syntax highlighting used on GitHub

Primary LanguageAgdaMIT LicenseMIT

Watchers