search

agda / agda-github-syntax-highlighting

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

Highlight the `as` part of import statements. #2

Open ice1000 opened 4 years ago

ice1000 commented 4 years ago

As title.