diff --git a/papers/LMCS.md b/papers/LMCS.md index 81a8db977ea736535e11be3409393ccafecda859..e217303f50b37e302005d564d22a2ba566458cec 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