Actually enable the Hardware description chapter.
[matthijs/master-project/report.git] / 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=,after=]
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]