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

Generate HTML files

Open yurrriq opened this issue 8 years ago • 3 comments

  • Do we want these?
  • Should we host them on the site too?
  • This will require updating pandoc-minted.hs to support HTML
  • [ ] link them on the site

yurrriq avatar Jul 20 '17 09:07 yurrriq

Why not highlight Idris code using the Idris compiler's notion of highlighting, rather than relying on syntax only? https://github.com/david-christiansen/idris-code-highlighter is a start for this, though it could be made more friendly!

david-christiansen avatar Jul 20 '17 15:07 david-christiansen

That's a great idea!

yurrriq avatar Jul 20 '17 18:07 yurrriq

Related: #30

yurrriq avatar Aug 03 '17 09:08 yurrriq