       patterns:
         [
           {
-            name: 'constant.character.escape.idris'
-            match: "\\\\\""
+            include: '#escape_characters'
+          }
+        ]
+    }
+    {
+      name: 'string.quoted.single.idris'
+      begin: "'"
+      beginCaptures:
+        0:
+          name: 'punctuation.definition.string.begin.idris'
+      end: "'"
+      endCaptures:
+        0:
+          name: 'punctuation.definition.string.end.idris'
+      patterns:
+        [
+          {
+            include: '#escape_characters'
           }
         ]
     }

    }
  ]
repository:
  {
  }
uuid: '4dd16092-ffa5-4ba4-8075-e5da9f368a72'

      comment: 'Block comment'
    }
    {
      name: 'string.quoted.double.idris'
      begin: '"'
      beginCaptures:
        0:
