let
notyping = !notyping