diff options
Diffstat (limited to 'migrations/20240118234708_init_discocaml.sql')
| -rw-r--r-- | migrations/20240118234708_init_discocaml.sql | 7 |
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 + ); |