-
Ross Paterson authored
arrow notation: allow arrow applications (f -< a) to take a non-empty command stack, as suggested by Sebastian Boldt <Sebastian.Boldt@arcor.de>.
daf67985
arrow notation: allow arrow applications (f -< a) to take a non-empty command stack, as suggested by Sebastian Boldt <Sebastian.Boldt@arcor.de>.