software-foundations icon indicating copy to clipboard operation
software-foundations copied to clipboard
verified publisher icon idris-hackers

Try to use idris-code-highlighter instead of minted

Open yurrriq opened this issue 8 years ago • 0 comments

https://github.com/david-christiansen/idris-code-highlighter

Related: #25

yurrriq avatar Jul 25 '17 00:07 yurrriq