Add the ZoKrates language (#1035)

3 files changed, 18 insertions, 0 deletions

diff --git a/README.md b/README.md
index f4b97b5..163371e 100644
--- a/README.md
+++ b/README.md
@@ -552,6 +552,7 @@ Xtend
 Yaml

 ZenCode

 Zig

+ZoKrates

 Zsh

 ```

 

diff --git a/languages.json b/languages.json
index 869b5f9..dd18c7e 100644
--- a/languages.json
+++ b/languages.json
@@ -1744,6 +1744,12 @@
       "quotes": [["\\\"", "\\\""]],
       "extensions": ["zig"]
     },
+    "Zokrates": {
+      "name": "ZoKrates",
+      "line_comment": ["//"],
+      "multi_line_comments": [["/*", "*/"]],
+      "extensions": ["zok"]
+    },
     "Zsh": {
       "shebangs": ["#!/bin/zsh"],
       "line_comment": ["#"],
diff --git a/tests/data/zokrates.zok b/tests/data/zokrates.zok
new file mode 100644
index 0000000..10aa15f
--- /dev/null
+++ b/tests/data/zokrates.zok
@@ -0,0 +1,11 @@
+// 11 lines 3 code 6 comments 2 blanks
+
+/*
+    This is a multi-line comment
+    written in more than just one line.
+*/
+
+def main() -> field {
+    // an inline comment
+    return 42; // on a line.
+}