projects
/
matthijs
/
master-project
/
report.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5ea42c0
)
Add \typebufferhs command to Haskell-typeset a buffer.
author
Matthijs Kooijman
<matthijs@stdin.nl>
Fri, 23 Oct 2009 11:25:51 +0000
(13:25 +0200)
committer
Matthijs Kooijman
<matthijs@stdin.nl>
Fri, 23 Oct 2009 11:25:51 +0000
(13:25 +0200)
Utils/Lambda.tex
patch
|
blob
|
history
diff --git
a/Utils/Lambda.tex
b/Utils/Lambda.tex
index 6ad1fbbd9996524c46c12d931c202dbcbe26972f..4c6574938c0766e1b4c2d9888a168b35723f9813 100644
(file)
--- a/
Utils/Lambda.tex
+++ b/
Utils/Lambda.tex
@@
-90,6
+90,19
@@
draw b;
\setuptyping[option=none,style=\tttf]
}
\setuptyping[option=none,style=\tttf]
}
+% Type the given buffer with the haskell typing style.
+% e.g., \typebufferhs{buffname}
+\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.
+ \setuptyping[option=HASKELL,style=mono]
+ \startboxed
+ \typebuffer[#1]
+ \stopboxed
+ % Reset the typing options
+ \setuptyping[option=none,style=\tttf]
+}
+
% Display a useMPgraphic in a pretty box
\define[1]\boxedgraphic{
\startboxed
% Display a useMPgraphic in a pretty box
\define[1]\boxedgraphic{
\startboxed