From bdf0444c5f258a47b243b7bf509d336f1f860233 Mon Sep 17 00:00:00 2001
From: Nathan Mull <nmmull@Nathans-MacBook-Air.local>
Date: Mon, 28 Nov 2022 13:25:59 -0600
Subject: [PATCH] Added link to Koka language

---
 index.html   | 2 +-
 src/index.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 2bab8c1..69b79cb 100644
--- 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
index 92ef46d..552c4f1 100644
--- 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