\define[1]\typebufferlam{
% We can't use \startlambda here defined by definetyping[lambda] above when
% typing buffers, so instead we'll redfine the options here.
\define[1]\typebufferlam{
% We can't use \startlambda here defined by definetyping[lambda] above when
% typing buffers, so instead we'll redfine the options here.
- \setuptyping[option=LAM,style=sans,before=,after=]
+ \setuptyping[option=LAM,style=sans,before=,after=,strip=auto]
\define[1]\typebufferhs{
% We can't use \startlambda here defined by definetyping[lambda] above when
% typing buffers, so instead we'll redfine the options here.
\define[1]\typebufferhs{
% We can't use \startlambda here defined by definetyping[lambda] above when
% typing buffers, so instead we'll redfine the options here.