From be66a74d4fb2ede38b726fead86008a9d58fa7ef Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Mon, 14 Dec 2020 16:48:01 +0100
Subject: [PATCH] More typos.

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 8d1e0e0..6dda3f4 100644
--- a/README.md
+++ b/README.md
@@ -4,7 +4,7 @@ This repository contains:
 - 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)
 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 presented in
 the paper
 [Machine-Checked Semantic Session Typing](https://iris-project.org/pdfs/2021-cpp-sessions-final.pdf)
 
-- 
GitLab