asd Merge branch 'gh-pages' of github.com:ucsd-progsys/liquidhaskell-…

…tutorial into gh-pages
ucsd-progsys · Sep 30, 2024 · 21ef85e · 21ef85e
2 parents db7f533 + 3362b92
commit 21ef85e
Show file tree

Hide file tree

Showing 13 changed files with 12 additions and 12 deletions.
diff --git a/docs/Tutorial_01_Introduction.html b/docs/Tutorial_01_Introduction.html
@@ -542,7 +542,7 @@ <h2>Getting Started</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
 
   <!-- rust nav JS --> 

diff --git a/docs/Tutorial_02_Logic.html b/docs/Tutorial_02_Logic.html
@@ -1021,7 +1021,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
 
   <!-- rust nav JS --> 

diff --git a/docs/Tutorial_03_Basic.html b/docs/Tutorial_03_Basic.html
@@ -907,7 +907,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
 
   <!-- rust nav JS --> 

diff --git a/docs/Tutorial_04_Polymorphism.html b/docs/Tutorial_04_Polymorphism.html
@@ -929,7 +929,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
 
   <!-- rust nav JS --> 

diff --git a/docs/Tutorial_05_Datatypes.html b/docs/Tutorial_05_Datatypes.html
@@ -1164,7 +1164,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
 
   <!-- rust nav JS --> 

diff --git a/docs/Tutorial_06_Measure_Bool.html b/docs/Tutorial_06_Measure_Bool.html
@@ -845,7 +845,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
 
   <!-- rust nav JS --> 

diff --git a/docs/Tutorial_07_Measure_Int.html b/docs/Tutorial_07_Measure_Int.html
@@ -1408,7 +1408,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
 
   <!-- rust nav JS --> 

diff --git a/docs/Tutorial_08_Measure_Set.html b/docs/Tutorial_08_Measure_Set.html
@@ -1407,7 +1407,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
 
   <!-- rust nav JS --> 

diff --git a/docs/Tutorial_09_Case_Study_Lazy_Queues.html b/docs/Tutorial_09_Case_Study_Lazy_Queues.html
@@ -881,7 +881,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
 
   <!-- rust nav JS --> 

diff --git a/docs/Tutorial_10_Case_Study_Associative_Maps.html b/docs/Tutorial_10_Case_Study_Associative_Maps.html
@@ -1088,7 +1088,7 @@ <h2>Recap</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
 
   <!-- rust nav JS --> 

diff --git a/docs/Tutorial_11_Case_Study_Pointers.html b/docs/Tutorial_11_Case_Study_Pointers.html
@@ -1497,7 +1497,7 @@ <h2>Recap: Types Against Overflows</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
 
   <!-- rust nav JS --> 

diff --git a/docs/Tutorial_12_Case_Study_AVL.html b/docs/Tutorial_12_Case_Study_AVL.html
@@ -1468,7 +1468,7 @@ <h2>Functional Correctness</h2>
   <script src="./js/liquid/liquid.js"></script>
 
   <script type="text/javascript">
-    var queryServerURL = "https://liquid-demo.programming.systems/" ;
+    var queryServerURL = "https://liquidhaskell.goto.ucsd.edu/" ;
   </script>
 
   <!-- rust nav JS --> 

diff --git a/docs/book.pdf b/docs/book.pdf