Prepare to output non-single-expr messages.

1 files changed, 7 insertions, 0 deletions

diff --git a/migrations/20240118234708_init_discocaml.sql b/migrations/20240118234708_init_discocaml.sql
new file mode 100644
index 0000000..adce26a
--- /dev/null
+++ b/migrations/20240118234708_init_discocaml.sql
@@ -0,0 +1,7 @@
+-- We're just storing a map between interaction IDs and the expression at the
+-- time. If we ever get theorem proving support, this'll probably need to be
+-- extended... That, or we just have another table for the context?
+CREATE TABLE IF NOT EXISTS discocaml_exprs
+  ( interaction_id INTEGER PRIMARY KEY
+  , expr TEXT NOT NULL
+  );