% % Some utilities for formatting (extended) lambda calculus and % transformations. % % Install the lambda calculus pretty-printer, as defined in pret-lam.lua. \installprettytype [LAM] [LAM] % Define \startlambda \stoplambda \definetyping[lambda][option=LAM,style=sans] % Define \lam{} (since \lambda is taken) \definetype[lam][option=LAM,style=sans] % Install the transformation pretty-printer, as defined in pret-trans.lua. \installprettytype [TRANS] [TRANS] % Define \starttrans \stoptrans \definetyping[trans][option=TRANS,style=normal,before=,after=]