blob: adce26a64ab402b26c22a9f20579e2fd267571a7 (
plain)
1
2
3
4
5
6
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
);
|
