Add new lexers to supported language doc (rouge-ruby#1810)

ole · Mar 5, 2022 · e22c85a · e22c85a
1 parent 776cbc4
commit e22c85a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/Languages.md b/docs/Languages.md
@@ -86,6 +86,7 @@
 - HTTP (`http`)
 - HyLang (`hylang`)
 - IDL (`idlang`)
+- Idris (`idris`)
 - IgorPro (`igorpro`)
 - INI (`ini`)
 - Io (`io`)
@@ -106,6 +107,7 @@
 - Julia (`julia`)
 - Kotlin (`kotlin`)
 - Lasso (`lasso`)
+- Lean (`lean`)
 - Liquid (`liquid`)
 - Literate CoffeeScript (`literate_coffeescript`)
 - Literate Haskell (`literate_haskell`)
@@ -185,6 +187,8 @@
 - SuperCollider (`supercollider`)
 - Swift (`swift`)
 - Systemd (`systemd`)
+- Syzlang (`syzlang`)
+- Syzprog (`syzprog`)
 - TAP (`tap`)
 - Tcl (`tcl`)
 - Terraform (`terraform`)