Skip to content

Commit

Permalink
Correct meeting date
Browse files Browse the repository at this point in the history
  • Loading branch information
@k4rtik
k4rtik authored Mar 30, 2020
1 parent c0e869b commit 3cbd1bb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ For the Spring 2020 term, PLRG meets on Wednesdays, 3:00pm at [https://uchicago.

| Date | Paper | Leader |
| --------- | ------------------------------------------------------------ | ------ |
| 2020-3-30 | [GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (LNCS '04)](https://repository.ubn.ru.nl/bitstream/handle/2066/60461/60461_pub.pdf?sequence=1) & [EditorArrow: An Arrow-Based Model for Editor-Based Programming (JFP '12)](https://www.researchgate.net/profile/Peter_Achten/publication/228757346_An_Arrow_based_semantics_for_interactive_applications/links/0912f508fe3d9b72fc000000/An-Arrow-based-semantics-for-interactive-applications.pdf) | Brian |
| 2020-04-01 | [GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (LNCS '04)](https://repository.ubn.ru.nl/bitstream/handle/2066/60461/60461_pub.pdf?sequence=1) & [EditorArrow: An Arrow-Based Model for Editor-Based Programming (JFP '12)](https://www.researchgate.net/profile/Peter_Achten/publication/228757346_An_Arrow_based_semantics_for_interactive_applications/links/0912f508fe3d9b72fc000000/An-Arrow-based-semantics-for-interactive-applications.pdf) | Brian |

## Past Terms

Expand Down

0 comments on commit 3cbd1bb

Please sign in to comment.