Skip to content

Commit

Permalink
Build again
Browse files Browse the repository at this point in the history
  • Loading branch information
k4rtik committed Mar 30, 2020
1 parent 3cbd1bb commit 73b2b1b
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion index.html
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ <h2 id="schedule">Schedule</h2>

<tbody>
<tr>
<td> 2020&#8211;3&#8211;30 </td>
<td> 2020&#8211;04&#8211;01 </td>
<td> <a href="https://repository.ubn.ru.nl/bitstream/handle/2066/60461/60461_pub.pdf?sequence=1">GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (LNCS '04)</a> &amp; <a href="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">EditorArrow: An Arrow-Based Model for Editor-Based Programming (JFP '12)</a> </td>
<td> Brian </td>
</tr>
Expand Down
4 changes: 2 additions & 2 deletions src/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@ To suggest a paper, [open an issue](https://github.com/uchicago-cs/plrg/issues?q

For the Spring 2020 term, PLRG meets on Wednesdays, 3:00pm at [https://uchicago.zoom.us/j/564109413](https://uchicago.zoom.us/j/564109413).

| Date | Paper | Leader |
| --------- | ------------------------------------------------------------ | ------ |
| Date | Paper | Leader |
| --------- | ------------------------------------------------------------ | ------ |
| 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 73b2b1b

Please sign in to comment.