From b2aa14bbb5bf4212aa6178168432e96692b042e9 Mon Sep 17 00:00:00 2001 From: jihgfee <jihgfee@gmail.com> Date: Wed, 28 Oct 2020 13:36:07 +0100 Subject: [PATCH] Fixed typo --- papers/LMCS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/papers/LMCS.md b/papers/LMCS.md index 81a8db9..e217303 100644 --- a/papers/LMCS.md +++ b/papers/LMCS.md @@ -1,6 +1,6 @@ ## Examples -Differences from the original POPL20 paper alon with examples thereof are covered in +Differences from the original POPL20 paper along with examples thereof are covered in [papers/POPL20.md](POPL20.md). The following list gives a mapping between the additional examples in the -- GitLab