Update latest draft

Chapter 8
Minor fixes
2026-04-28 15:06:29 +01:00 · 2021-12-22 16:55:21 +00:00 · 2021-12-22 16:48:14 +00:00 · 2021-12-22 16:27:14 +00:00 · 2021-12-22 16:15:16 +00:00 · 2021-12-22 16:13:22 +00:00
2 changed files with 1314 additions and 1202 deletions
--- a/thesis-draft.tar.gz
+++ b/thesis-draft.tar.gz
--- a/thesis.tex
+++ b/thesis.tex
Author	SHA1	Message	Date
Daniel Hillerström	d7bd881a00	Update latest draft	2021-12-22 16:55:21 +00:00
Daniel Hillerström	f5685fe70d	Chapter 8	2021-12-22 16:48:14 +00:00
Daniel Hillerström	7f3503153f	Minor fixes	2021-12-22 16:27:14 +00:00
Daniel Hillerström	40c6505ae2	Simplify	2021-12-22 16:15:16 +00:00
Daniel Hillerström	b897751a38	Note on reduction relation	2021-12-22 16:13:22 +00:00
Daniel Hillerström	3e1bbf3206	Fix todo	2021-12-22 16:10:51 +00:00
Daniel Hillerström	40948507e9	CPS outline	2021-12-22 16:08:08 +00:00
Daniel Hillerström	2a800f07e2	WIP	2021-12-22 15:58:26 +00:00
Daniel Hillerström	d3921f24e3	WIP	2021-12-22 14:23:57 +00:00