From 104c3561733437e5da243ecd4d806a35465ca225 Mon Sep 17 00:00:00 2001
From: Max New <maxsnew@gmail.com>
Date: Tue, 10 Jul 2018 13:26:25 +0100
Subject: [PATCH] remove appendices
---
paper/gtt.tex | 18 ------------------
1 file changed, 18 deletions(-)
diff --git a/paper/gtt.tex b/paper/gtt.tex
index 2bec03b..6b645f7 100644
--- a/paper/gtt.tex
+++ b/paper/gtt.tex
@@ -9150,24 +9150,6 @@ arguments on the stack.
\bibliography{max}
-\appendix
-
-\section{Program Equivalences and Inequivalences in Previous Work}
-
-We should show here what fails in eager and transient semantics.
-
-In this appendix we present for the reader who is unfamiliar with
-call-by-push-value two type theories for call-by-value and
-call-by-name gradual typing in this style.
-%
-In each we prove one of the non-obvious uniqueness theorems that we
-showed for CBPV: in CBV we show the function type must be the
-thunkable, wrapping implementation and for the CBN what would we do??
-
-\section{Mini Call-by-value Gradual Type Theory}
-
-\section{Mini Call-by-name Gradual Type Theory}
-
\end{document}
%% Local Variables:
--
GitLab