Rewriting in Cambridge LCF | lit.salon