Event operator

An event is an operator on state, causing a change of state.

If states are points, events are arrows between points.

— Me@2011.06.20

— Me@2011.07.08

2011.07.08 Friday (c) All rights reserved by ACHK