Add Standard ML

appliedfm · Jan 5, 2022 · 0c952cd · 0c952cd
1 parent f81a206
commit 0c952cd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/github/config.py b/src/github/config.py
@@ -24,6 +24,7 @@
     "idris",
     "isabelle",
     "lean",
+    "sml",
     "tla",
 ]