Open yurrriq opened 7 years ago
https://github.com/david-christiansen/idris-code-highlighter
Related: #25
https://github.com/david-christiansen/idris-code-highlighter
Related: #25