HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.58k stars 142 forks source link

syntax highlight in blog posts #329

Closed miguel-nascimento closed 2 years ago

miguel-nascimento commented 2 years ago

I was reading the Self Types blog post which has a nice highlighting using Javascript to highlight Kind code in markdown. But when I went to read the First-class modules with self types I missed the markdown Kind code syntax highlight.

This PR adds the Markdown Syntax Highlight in pretty much all blog posts, using the Javascript parser (the same in the Self Types blog post) to do the highlighting