update page

nadia-polikarpova · Apr 10, 2024 · b11f271 · b11f271
1 parent 227d7b6
commit b11f271
Show file tree

Hide file tree

Showing 4 changed files with 29 additions and 24 deletions.
diff --git a/assignments.md b/assignments.md
@@ -7,7 +7,9 @@ headerImg: angles.jpg
 
 Coming soon!
 
-<!-- Click the Github Classroom link next to the assignment. 
+
+<!--
+Click the Github Classroom link next to the assignment. 
 This will automatically create your assignment repository, 
 pre-populated with starter code and a README file with all the instructions.
 If you get an error when creating a team, **try a different team name**
@@ -16,12 +18,13 @@ If you get an error when creating a team, **try a different team name**
  
 | Link                                             | Name                            | Deadline (11:59pm)        |
 |:------------------------------------------------:|:--------------------------------|:-------------------------:|
-| [HW0](https://classroom.github.com/a/InnVTvyH)   | The Lambda Calculus             | 10/18                     |
-| [HW1](https://classroom.github.com/a/9h7FLjdF)   | Introduction to Haskell         | 10/25                     |
-| [HW2](https://classroom.github.com/a/HGsNvaSr)   | Random Art                      | 11/3                      |
-| [HW3](https://classroom.github.com/a/0jVZ5UUr)   | All about Fold                  | 11/13                     |
-| [HW4](https://classroom.github.com/a/UbWfqVjR)   | Nano                            | 11/22                     |
-| [HW5](https://classroom.github.com/a/RLvZfnKy)   | Type Classes                    | 12/6                      |   -->
+| [HW0](https://classroom.github.com/a/Z-citE9B)   | The Lambda Calculus             | 4/17                      |
+
+| [HW1](https://classroom.github.com/a/9h7FLjdF)   | Introduction to Haskell         | 4/24                      |
+| [HW2](https://classroom.github.com/a/HGsNvaSr)   | Random Art                      | 5/3                       |
+| [HW3](https://classroom.github.com/a/0jVZ5UUr)   | All about Fold                  | 5/13                      |
+| [HW4](https://classroom.github.com/a/UbWfqVjR)   | Nano                            | 5/22                      |
+| [HW5](https://classroom.github.com/a/RLvZfnKy)   | Type Classes                    | 6/5                       |   -->
 
 
 

diff --git a/docs/assignments.html b/docs/assignments.html
@@ -234,7 +234,8 @@ <h1>Assignments</h1>
             <div class="col-lg-8 col-lg-offset-2 col-md-10 col-md-offset-1">
 			<h2 id="assignments">Assignments</h2>
 <p>Coming soon!</p>
-<!-- Click the Github Classroom link next to the assignment. 
+<!--
+Click the Github Classroom link next to the assignment. 
 This will automatically create your assignment repository, 
 pre-populated with starter code and a README file with all the instructions.
 If you get an error when creating a team, **try a different team name**
@@ -243,12 +244,13 @@ <h2 id="assignments">Assignments</h2>
  
 | Link                                             | Name                            | Deadline (11:59pm)        |
 |:------------------------------------------------:|:--------------------------------|:-------------------------:|
-| [HW0](https://classroom.github.com/a/InnVTvyH)   | The Lambda Calculus             | 10/18                     |
-| [HW1](https://classroom.github.com/a/9h7FLjdF)   | Introduction to Haskell         | 10/25                     |
-| [HW2](https://classroom.github.com/a/HGsNvaSr)   | Random Art                      | 11/3                      |
-| [HW3](https://classroom.github.com/a/0jVZ5UUr)   | All about Fold                  | 11/13                     |
-| [HW4](https://classroom.github.com/a/UbWfqVjR)   | Nano                            | 11/22                     |
-| [HW5](https://classroom.github.com/a/RLvZfnKy)   | Type Classes                    | 12/6                      |   -->
+| [HW0](https://classroom.github.com/a/Z-citE9B)   | The Lambda Calculus             | 4/17                      |
+
+| [HW1](https://classroom.github.com/a/9h7FLjdF)   | Introduction to Haskell         | 4/24                      |
+| [HW2](https://classroom.github.com/a/HGsNvaSr)   | Random Art                      | 5/3                       |
+| [HW3](https://classroom.github.com/a/0jVZ5UUr)   | All about Fold                  | 5/13                      |
+| [HW4](https://classroom.github.com/a/UbWfqVjR)   | Nano                            | 5/22                      |
+| [HW5](https://classroom.github.com/a/RLvZfnKy)   | Type Classes                    | 6/5                       |   -->
 <!-- ## Practice Exams
 
 - [Midterm Wi 19](/static/raw/130-midterm-wi19.pdf) ([solution](/static/raw/130-midterm-wi19-solution.pdf)),

diff --git a/docs/lectures/01-lambda.html b/docs/lectures/01-lambda.html
@@ -1377,10 +1377,10 @@ <h2 id="pairs-api">Pairs : API</h2>
 <span id="cb40-6"><a href="#cb40-6" aria-hidden="true" tabindex="-1"></a>                          <span class="co">-- p.snd</span></span></code></pre></div>
 <p>such that</p>
 <div class="sourceCode" id="cb41"><pre class="sourceCode haskell"><code class="sourceCode haskell"><span id="cb41-1"><a href="#cb41-1" aria-hidden="true" tabindex="-1"></a>eval ex_fst<span class="op">:</span> </span>
-<span id="cb41-2"><a href="#cb41-2" aria-hidden="true" tabindex="-1"></a>  <span class="dt">FST</span> (<span class="dt">PAIR</span> apple banana) <span class="op">=*&gt;</span> apple</span>
+<span id="cb41-2"><a href="#cb41-2" aria-hidden="true" tabindex="-1"></a>  <span class="dt">FST</span> (<span class="dt">PAIR</span> apple banana) <span class="op">=~&gt;</span> apple</span>
 <span id="cb41-3"><a href="#cb41-3" aria-hidden="true" tabindex="-1"></a></span>
 <span id="cb41-4"><a href="#cb41-4" aria-hidden="true" tabindex="-1"></a>eval ex_snd<span class="op">:</span></span>
-<span id="cb41-5"><a href="#cb41-5" aria-hidden="true" tabindex="-1"></a>  <span class="dt">SND</span> (<span class="dt">PAIR</span> apple banana) <span class="op">=*&gt;</span> banana</span></code></pre></div>
+<span id="cb41-5"><a href="#cb41-5" aria-hidden="true" tabindex="-1"></a>  <span class="dt">SND</span> (<span class="dt">PAIR</span> apple banana) <span class="op">=~&gt;</span> banana</span></code></pre></div>
 <p><br>
 <br>
 <br>
@@ -1422,15 +1422,15 @@ <h2 id="exercise-triples">EXERCISE: Triples</h2>
 <span id="cb43-5"><a href="#cb43-5" aria-hidden="true" tabindex="-1"></a></span>
 <span id="cb43-6"><a href="#cb43-6" aria-hidden="true" tabindex="-1"></a>eval ex1<span class="op">:</span></span>
 <span id="cb43-7"><a href="#cb43-7" aria-hidden="true" tabindex="-1"></a>  <span class="dt">FST3</span> (<span class="dt">TRIPLE</span> apple banana orange)</span>
-<span id="cb43-8"><a href="#cb43-8" aria-hidden="true" tabindex="-1"></a>  <span class="op">=*&gt;</span> apple</span>
+<span id="cb43-8"><a href="#cb43-8" aria-hidden="true" tabindex="-1"></a>  <span class="op">=~&gt;</span> apple</span>
 <span id="cb43-9"><a href="#cb43-9" aria-hidden="true" tabindex="-1"></a></span>
 <span id="cb43-10"><a href="#cb43-10" aria-hidden="true" tabindex="-1"></a>eval ex2<span class="op">:</span></span>
 <span id="cb43-11"><a href="#cb43-11" aria-hidden="true" tabindex="-1"></a>  <span class="dt">SND3</span> (<span class="dt">TRIPLE</span> apple banana orange)</span>
-<span id="cb43-12"><a href="#cb43-12" aria-hidden="true" tabindex="-1"></a>  <span class="op">=*&gt;</span> banana </span>
+<span id="cb43-12"><a href="#cb43-12" aria-hidden="true" tabindex="-1"></a>  <span class="op">=~&gt;</span> banana </span>
 <span id="cb43-13"><a href="#cb43-13" aria-hidden="true" tabindex="-1"></a></span>
 <span id="cb43-14"><a href="#cb43-14" aria-hidden="true" tabindex="-1"></a>eval ex3<span class="op">:</span></span>
 <span id="cb43-15"><a href="#cb43-15" aria-hidden="true" tabindex="-1"></a>  <span class="dt">THD3</span> (<span class="dt">TRIPLE</span> apple banana orange)</span>
-<span id="cb43-16"><a href="#cb43-16" aria-hidden="true" tabindex="-1"></a>  <span class="op">=*&gt;</span> orange</span></code></pre></div>
+<span id="cb43-16"><a href="#cb43-16" aria-hidden="true" tabindex="-1"></a>  <span class="op">=~&gt;</span> orange</span></code></pre></div>
 <p><br>
 <br>
 <br>

diff --git a/lectures/01-lambda.md b/lectures/01-lambda.md
@@ -1637,10 +1637,10 @@ such that
 
 ```haskell
 eval ex_fst: 
-  FST (PAIR apple banana) =*> apple
+  FST (PAIR apple banana) =~> apple
 
 eval ex_snd:
-  SND (PAIR apple banana) =*> banana
+  SND (PAIR apple banana) =~> banana
 ```
 
 
@@ -1702,15 +1702,15 @@ let THD3   = \t -> ???
 
 eval ex1:
   FST3 (TRIPLE apple banana orange)
-  =*> apple
+  =~> apple
 
 eval ex2:
   SND3 (TRIPLE apple banana orange)
-  =*> banana 
+  =~> banana 
 
 eval ex3:
   THD3 (TRIPLE apple banana orange)
-  =*> orange
+  =~> orange
 ```
 
 (I) final