3 ms·
Something slightly more hardcode: http://hazelgrove.org http://hazelgrove.org - structured editing via a formal calculus of actions which provably maintains cor
by chriswarbo 10y ago
Something slightly more hardcode: http://hazelgrove.org http://hazelgrove.org - structured editing via a formal calculus of actions which provably maintains correctness.
Whilst a cool idea, and a nice foundation for actions, it certainly suffers from being clunky UI-wise, so doesn't solve the author's problem directly.