Giters
agda
/
agda-github-syntax-highlighting
Syntax highlighting used on GitHub
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
4
Watchers:
11
Issues:
6
Forks:
4
agda/agda-github-syntax-highlighting Watchers
Andreas Abel
andreasabel
Andrés Sicard-Ramírez
asr
Francesco Mazzoli
bitonic
eemailme
Guillaume Brunerie
guillaumebrunerie
James Cloos
jhcloos
Larry Diehl
larrytheliquid
MatthewDaggitt
Andrea Vezzosi
Saizan
Sean P. Myrick V19.1.7.2
seanpm2001
Ulf Norell
UlfNorell