nit

wonks · Oct 13, 2023 · e1f8684 · e1f8684
1 parent 0c700ac
commit e1f8684
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 21 deletions.
diff --git a/index.html b/index.html
diff --git a/index.org b/index.org
@@ -7,7 +7,7 @@
 * About
 
 @@html:<font color="#a90533">@@ The PL Reading Group @@html:</font>@@ (PLRG)
-is the successor to several [[https://wonks.github.io/groups.html][previous reading groups]] in programming language research.
+is successor to several [[https://wonks.github.io/groups.html][previous reading groups]] in programming language research.
 The main focus of PLRG is paper reading and discussion. We occasionally schedule
 presentations, practice talks, and tutorial sessions. Check our [[*Schedule]].