projects
/
matthijs
/
master-project
/
report.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add support for pretty printing lambda calculus.
[matthijs/master-project/report.git]
/
Core2Core.tex
diff --git
a/Core2Core.tex
b/Core2Core.tex
index 1c972d1c7cb1ec1cb32d0d49ddfdffbfe0258eb0..bc385a68324b210e435dbe1f42cbfed975099f8a 100644
(file)
--- a/
Core2Core.tex
+++ b/
Core2Core.tex
@@
-36,6
+36,9
@@
\stopframedtext
}
\stopframedtext
}
+% Install the lambda calculus pretty-printer, as defined in pret-lam.lua.
+\installprettytype [LAM] [LAM]
+
% A helper to print a single example in the half the page width. The example
% text should be in a buffer whose name is given in an argument.
%
% A helper to print a single example in the half the page width. The example
% text should be in a buffer whose name is given in an argument.
%