search

stedolan / counterexamples

Counterexamples in Type Systems
http://counterexamples.org
372 stars 23 forks source link

Syntax highlight more languages #5

Closed aspiwack closed 3 years ago

aspiwack commented 3 years ago

This non-highlighted code was triggering me :slightly_smiling_face: .

I added Coq, Haskell, Ocaml, and Scala. Unfortunately highlight.js doesn't have a syntax highlighter for Agda.

Did I miss a language?

stedolan commented 3 years ago

Thanks! I think that's all of them, at least among the ones highlight.js supports.