diff --git a/docs/assignments.html b/docs/assignments.html
index b16a0bb..b8b28d9 100644
--- a/docs/assignments.html
+++ b/docs/assignments.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -316,7 +316,7 @@ <h2 id="programming-assignments">Programming Assignments</h2>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/assignments/hw0.html b/docs/assignments/hw0.html
index 8390050..88758cc 100644
--- a/docs/assignments/hw0.html
+++ b/docs/assignments/hw0.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -526,7 +526,7 @@ <h3 id="c-15-20-points">(c) 15 + 20 points</h3>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/calendar.html b/docs/calendar.html
index 01da036..a38fb79 100644
--- a/docs/calendar.html
+++ b/docs/calendar.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -294,7 +294,7 @@ <h2 id="calendar-deadlines-office-hours">Calendar (Deadlines, Office Hours)</h2>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/contact.html b/docs/contact.html
index 787bda6..d88f79e 100644
--- a/docs/contact.html
+++ b/docs/contact.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -303,7 +303,7 @@ <h2 id="teaching-assistants">Teaching Assistants</h2>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/grades.html b/docs/grades.html
index b25a869..50cb492 100644
--- a/docs/grades.html
+++ b/docs/grades.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -295,7 +295,7 @@ <h1>Grading</h1>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/index.html b/docs/index.html
index 0f2dc45..a31b541 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -301,7 +301,7 @@ <h2 id="research">Research</h2>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/lectures.html b/docs/lectures.html
index b2e8c2a..c6e9a1a 100644
--- a/docs/lectures.html
+++ b/docs/lectures.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -325,7 +325,7 @@ <h2 id="discussions">Discussions</h2>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/lectures/01-introduction.html b/docs/lectures/01-introduction.html
index 471c7ae..b9469ce 100644
--- a/docs/lectures/01-introduction.html
+++ b/docs/lectures/01-introduction.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -466,7 +466,7 @@ <h3 id="a-few-words-on-the-medium-of-instruction">A few words on the medium of i
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/lectures/02-haskell.html b/docs/lectures/02-haskell.html
index bf896bb..de10ebf 100644
--- a/docs/lectures/02-haskell.html
+++ b/docs/lectures/02-haskell.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -589,7 +589,7 @@ <h2 id="printf-debugging">Printf Debugging</h2>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/lectures/03-adder.html b/docs/lectures/03-adder.html
index 9e71e5f..236e5e1 100644
--- a/docs/lectures/03-adder.html
+++ b/docs/lectures/03-adder.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -850,7 +850,7 @@ <h3 id="using-a-recipe">Using a Recipe</h3>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/lectures/04-boa.html b/docs/lectures/04-boa.html
index 550703a..744b019 100644
--- a/docs/lectures/04-boa.html
+++ b/docs/lectures/04-boa.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -945,7 +945,7 @@ <h2 id="recap-and-summary">Recap and Summary</h2>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/lectures/05-cobra.html b/docs/lectures/05-cobra.html
index 5b5dac8..67590aa 100644
--- a/docs/lectures/05-cobra.html
+++ b/docs/lectures/05-cobra.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -1205,7 +1205,7 @@ <h2 id="recap">Recap</h2>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/lectures/06-diamond.html b/docs/lectures/06-diamond.html
index 134a96c..9c913c6 100644
--- a/docs/lectures/06-diamond.html
+++ b/docs/lectures/06-diamond.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -950,7 +950,7 @@ <h2 id="recap">Recap</h2>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/lectures/07-egg-eater.html b/docs/lectures/07-egg-eater.html
index 4f652c2..73c7bc9 100644
--- a/docs/lectures/07-egg-eater.html
+++ b/docs/lectures/07-egg-eater.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -927,7 +927,7 @@ <h2 id="recap">Recap</h2>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/lectures/08-fer-de-lance.html b/docs/lectures/08-fer-de-lance.html
index 237f921..f00e699 100644
--- a/docs/lectures/08-fer-de-lance.html
+++ b/docs/lectures/08-fer-de-lance.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -1086,7 +1086,7 @@ <h2 id="recap-functions-as-values">Recap: Functions as Values</h2>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/lectures/09-garter.html b/docs/lectures/09-garter.html
index fa96712..dd27806 100644
--- a/docs/lectures/09-garter.html
+++ b/docs/lectures/09-garter.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -953,7 +953,7 @@ <h3 id="checking-specifications">Checking Specifications</h3>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/docs/links.html b/docs/links.html
index 232bd0c..c974136 100644
--- a/docs/links.html
+++ b/docs/links.html
@@ -131,7 +131,7 @@
                 <li><a href="https://ucsd-progsys.github.io/131-web/lectures.html">Lectures</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/assignments.html">Assignments</a></li>
                 <li><a href="https://ucsd-progsys.github.io/131-web/links.html">Links</a></li>
-                <li><a href="https://www.piazza.com/ucsd/fall2016/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
+                <li><a href="https://www.piazza.com/ucsd/winter2018/cse131/home" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>Piazza</a></li>
                 <!--
                 <li><a href="https://ucsd-progsys.github.io/131-web/archive.html">Archive</a></li>
                 <li><a href="https://www.twitter.com/ranjitjhala" id="roundbutton" target="_blank"><i class="fa fa-twitter"></i>RanjitJhala</a></li>
@@ -321,7 +321,7 @@ <h2 id="miscellaneous">Miscellaneous</h2>
 		    
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">
diff --git a/templates/footer.html b/templates/footer.html
index d4e7e50..1578f6d 100644
--- a/templates/footer.html
+++ b/templates/footer.html
@@ -58,7 +58,7 @@
 		    $endif$
                 </ul>
                 <p class="copyright text-muted">Copyright &copy; Ranjit Jhala
-                2016. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
+                2016-18. Please suggest fixes <a href="http://github.com/ucsd-progsys/131-web">here.</a><br><br> 
                 </p>
 <div class="col-md-12">
      <p class="copyright text-muted">