X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Utils%2FLambda.tex;h=9486fe3075c397058c3565cba3d461308a5cb1e3;hp=b5b2e7a85e37e3685247ba12ec23e94cad37be3d;hb=1687b8573daf7ee73241fa2651ac5bed07c10cdf;hpb=1108517b5c84c5fc7c8aa21ac60cd33e28487519 diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex index b5b2e7a..9486fe3 100644 --- a/Utils/Lambda.tex +++ b/Utils/Lambda.tex @@ -19,3 +19,5 @@ \installprettytype [HASKELL] [HASKELL] % Define \starthaskell \stophaskell \definetyping[haskell][option=HASKELL,before=,after=] +% Define \hs +\definetype[hs][option=HASKELL,style=mono]