From e1f868478e340c161e4f1287696c519f06a44952 Mon Sep 17 00:00:00 2001 From: Tianyu Chen Date: Fri, 13 Oct 2023 12:19:25 -0400 Subject: [PATCH] nit --- index.html | 40 ++++++++++++++++++++-------------------- index.org | 2 +- 2 files changed, 21 insertions(+), 21 deletions(-) diff --git a/index.html b/index.html index 86d242b..d97464b 100644 --- a/index.html +++ b/index.html @@ -3,7 +3,7 @@ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> - + Indiana University PL Reading Group @@ -230,22 +230,22 @@

Indiana University PL Reading Group

Table of Contents

-
-

About

-
+
+

About

+

The PL Reading Group (PLRG) -is the successor to several previous reading groups in programming language research. +is successor to several 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. +presentations, practice talks, and tutorial sessions. Check our Schedule.

@@ -260,9 +260,9 @@

About

-
-

Time

-
+
+

Time

+
  • <10 AM> on Thursdays.
  • The event usually lasts 1 hour, but you may leave early.
    • @@ -271,9 +271,9 @@

    Time

-
-

Location

-
+
+

Location

+
  • BLIF 3069 (conference room, 3rd floor Luddy Hall) Campus Map
@@ -284,9 +284,9 @@

Location

-
-

Schedule

-
+
+

Schedule

+
@@ -423,7 +423,7 @@

Schedule

-

Created: 2023-10-13 Fri 12:16

+

Created: 2023-10-13 Fri 12:19

\ No newline at end of file diff --git a/index.org b/index.org index 3b79de1..5180ccf 100644 --- a/index.org +++ b/index.org @@ -7,7 +7,7 @@ * About @@html:@@ The PL Reading Group @@html:@@ (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]].