From df3a9e9a6839220551af3e4aea097fce88a84e71 Mon Sep 17 00:00:00 2001
From: jutty <j@jutty.dev>
Date: Sun, 4 May 2025 01:16:58 -0300
Subject: [PATCH] OCaml: Add a README with a configuration grammar

---
 ocaml/README.md | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 ocaml/README.md

diff --git a/ocaml/README.md b/ocaml/README.md
new file mode 100644
index 0000000..5d78529
--- /dev/null
+++ b/ocaml/README.md
@@ -0,0 +1,17 @@
+## Configuration parser
+
+Grammar:
+
+    assignment  = { space }, key, { space }, equal, { space }, value, "\n"
+    space       = " " | "\t"
+    key         = letter, { letter | digit | "_" }
+    equal       = "="
+    valuable    = ( letter | digit | "_" | "-" | "~" | "/" ), { valuable }
+    value       = valuable, { " " | valuable }
+
+Written using the ISO 14977 EBNF Notation <https://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf>. In this grammar, `digit` implies `decimal digit`.
+
+See also:
+    - Comparison of BNF notations: <https://www.cs.man.ac.uk/~pjj/bnf/ebnf.html>
+    - W3C ABNF Notation: <https://www.w3.org/Notation.html>
+    - IETF RFC 5234 ABNF Notation (replaces 4234, 2234): <https://www.rfc-editor.org/rfc/rfc5234>