Final version for AEC

brownplt · Feb 27, 2018 · f255f58 · f255f58
1 parent 61501b6
commit f255f58
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -219,6 +219,10 @@ repeat what's below them; they're there for technical reasons.
    through all of the claims we believe the paper makes next, and
    describe how to verify them.
 
+The zip file you received has the "full" version of the paper, which
+includes an appendix that will be useful. It also fixes some mistakes
+in the original paper: e.g. the example in section 4.5 was wrong.
+
 ## Evaluation: Type Systems (section 6.1 from the paper)
 
 The paper lists a number of type system features that we tested SweetT

diff --git a/SweetT.zip b/SweetT.zip
diff --git a/package.sh b/package.sh
@@ -1 +1 @@
-zip SweetT.zip README.md README.html base-lang.rkt unify.rkt resugar.rkt examples/*.rkt paper.pdf
+zip SweetT.zip README.md README.html base-lang.rkt unify.rkt sweet-t.rkt examples/*.rkt paper.pdf
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		zip SweetT.zip README.md README.html base-lang.rkt unify.rkt resugar.rkt examples/*.rkt paper.pdf
		zip SweetT.zip README.md README.html base-lang.rkt unify.rkt sweet-t.rkt examples/*.rkt paper.pdf