-
POTTIER Francois authored
['a lr1state -> 'a symbol] and maps a state (an abstract datum) to (a code for) its incoming symbol. This allows inspecting the semantic values stored in the stack. Updated the demo [calc-incremental] to display the contents of the stack at every token. It seems to work!
dd0ba5fa