Add stub of Booster description

geo2a · geo2a · commit 8bb181751804 · 2024-10-29T14:03:26.000+01:00
diff --git a/docs/2024-10-18-booster-description.md b/docs/2024-10-18-booster-description.md
@@ -0,0 +1,5 @@
+Booster: the fast symbolic rewrite engine for K
+===============================================
+
+This document is a detailed description of the Booster --- the fast rewrite engine implementing the [Kore JSON RPC](./2022-07-18-JSON-RPC-Server-API.md) protocol.
+
