Skip to content
Snippets Groups Projects
Commit cf317ac2 authored by Jonas Kastberg's avatar Jonas Kastberg
Browse files

Removed `.`'s from lists in README.md

parent 46958e12
No related branches found
No related tags found
No related merge requests found
Pipeline #39450 passed
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 4 deletions
README.md
+ 4
− 4
View file @ cf317ac2
...@@ -3,7 +3,7 @@ ...@@ -3,7 +3,7 @@
This repository contains: This repository contains:
- The Coq mechanization of the Actris framework, first presented in the paper - The Coq mechanization of the Actris framework, first presented in the paper
[Actris: Session Type Based Reasoning in Separation Logic](https://iris-project.org/pdfs/2020-popl-actris-final.pdf) [Actris: Session Type Based Reasoning in Separation Logic](https://iris-project.org/pdfs/2020-popl-actris-final.pdf)
at POPL'20. at POPL'20
- The logical relations model for a semantic session type system, first present in - The logical relations model for a semantic session type system, first present in
the paper the paper
[Machine-Checked Semantic Session Typing](https://iris-project.org/pdfs/2021-cpp-sessions-final.pdf) [Machine-Checked Semantic Session Typing](https://iris-project.org/pdfs/2021-cpp-sessions-final.pdf)
...@@ -181,6 +181,6 @@ the values of the list made explicit. ...@@ -181,6 +181,6 @@ the values of the list made explicit.
For remarks about the paper-specific submissions, see For remarks about the paper-specific submissions, see
- [papers/POPL20.md](papers/POPL20.md). - [papers/POPL20.md](papers/POPL20.md)
- [papers/CPP21.md](papers/CPP21.md). - [papers/CPP21.md](papers/CPP21.md)
- [papers/LMCS.md](papers/LMCS.md). - [papers/LMCS.md](papers/LMCS.md)
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment