-- 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
  );