Added link to Koka language

SprocketLab · Nov 28, 2022 · bdf0444 · bdf0444
1 parent 142d52e
commit bdf0444
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -63,7 +63,7 @@ <h2 id="schedule">Schedule</h2>
 </tr>
 <tr>
 	<td> November 22 </td>
-	<td> Algebraic Effects and Koka                                 </td>
+	<td> Algebraic Effects and <a href="https://koka-lang.github.io/koka/doc/index.html">Koka</a>                    </td>
 	<td> Byron </td>
 </tr>
 <tr>

diff --git a/src/index.md b/src/index.md
@@ -21,7 +21,7 @@ For Fall 2022, PLRG meets on Tuesdays 11:30am in Crerar 354.
 | November 1  | [Type-Preserving CPS Translation of Sigma and Pi Types is Not Not Possible (POPL '18)](https://www.ccs.neu.edu/home/amal/papers/cpscc.pdf)                   | Nathan |
 | November 8  | [Incorrectness Logic (POPL '20)](http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/IncorrectnessLogic.pdf)                                                      | Bhakti |
 | November 15 | Free Monads and Algebraic Effects                                                                                                                            | Skye   |
-| November 22 | Algebraic Effects and Koka                                                                                                                                   | Byron  |
+| November 22 | Algebraic Effects and [Koka](https://koka-lang.github.io/koka/doc/index.html)                                                                                | Byron  |
 | November 28 | [Genetic Programming with Polymorphic Types and Higher-Order Functions](https://www.site.uottawa.ca/~afelty/dist/gecco08.pdf)                                | Andy   |
 
 ## Past Terms