Closed jonaprieto closed 6 years ago
Please describe following:
npm install
/homebrew-cask)Using this after installing with homebrew-cask. In Shiba: It should look like:
The source code was taken from: https://github.com/jonaprieto/agda-prop/blame/master/README.md#L17-L40
Thank you for the info. Shiba utilizes highlight.js for highlighting codes. I guess Agda is not supported by it. It may be spported by upgrading highlight.js. I'll check it.
I checked highlighters in highlight.js. It supports 176 languages, but Agda is not included in them.
In order to support Agda by Shiba, we need to add Agda syntax highlighter to highlight.js. So I can't fix this in Shiba side. Could you please make an issue or PR in highlight.js repo?
I'm using code blocks but in the preview, they don't look like in Github (with colors). I'm working with code written in Agda.
Any reason?