blob: 635be480c6679a666a31bc330c335e8c8a9e3ee0 (
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
( rowid INTEGER PRIMARY KEY
, expr TEXT NOT NULL
);
|
