Utils/Lambda.tex

   1 %
   2 % Some utilities for formatting (extended) lambda calculus and
   3 % transformations.
   4 %
   5
   6 % Install the lambda calculus pretty-printer, as defined in pret-lam.lua.
   7 \installprettytype [LAM] [LAM]
   8 % Define \startlambda \stoplambda
   9 \definetyping[lambda][option=LAM,style=sans]
  10 % Define \lam{} (since \lambda is taken)
  11 \definetype[lam][option=LAM,style=sans]
  12
  13 % Install the transformation pretty-printer, as defined in pret-trans.lua.
  14 \installprettytype [TRANS] [TRANS]
  15 % Define \starttrans \stoptrans
  16 \definetyping[trans][option=TRANS,style=normal,before=]
  17
  18 % Install the haskell pretty-printer, as defined in pret-haskell.lua.
  19 \installprettytype [HASKELL] [HASKELL]
  20 % Define \starthaskell \stophaskell
  21 \definetyping[haskell][option=HASKELL,before=,after=]
  22 % Define \hs
  23 \definetype[hs][option=HASKELL,style=mono]