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 note about β-reduction for type variables.
[matthijs/master-project/report.git]
/
Report.tex
diff --git
a/Report.tex
b/Report.tex
index 945b76a8c1c9d83a0be63edbae0b186b013219b3..c7a4e9df9319d605476d15ebaef3aa4751edf774 100644
(file)
--- a/
Report.tex
+++ b/
Report.tex
@@
-38,3
+38,5
@@
Matthijs Kooijman
\input Chapters/Normalization
\input Chapters/Future
\stoptext
+
+% vim: set sw=2 sts=2 expandtab: