From 9a4f1ad268bd09490c0fccf6f83364fcc6b78329 Mon Sep 17 00:00:00 2001 From: "Paolo G. Giarrusso" Date: Fri, 11 May 2018 15:22:15 +0200 Subject: [PATCH 1/3] Delete dup title --- docs/docs/reference/simple-smp.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/docs/docs/reference/simple-smp.md b/docs/docs/reference/simple-smp.md index bc7b4b68c617..1fcb24895d69 100644 --- a/docs/docs/reference/simple-smp.md +++ b/docs/docs/reference/simple-smp.md @@ -3,8 +3,6 @@ layout: doc-page title: "The Meta-theory of Symmetric Meta-programming" --- -# The Meta-theory of Symmetric Meta-programming - 23.12.2017 This note presents a simplified variant of From 4d0cb87f5d10a7cd190a8805a83e46e0cfee2bd6 Mon Sep 17 00:00:00 2001 From: "Paolo G. Giarrusso" Date: Fri, 11 May 2018 15:22:57 +0200 Subject: [PATCH 2/3] Fix dead link --- docs/docs/reference/principled-meta-programming.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/principled-meta-programming.md b/docs/docs/reference/principled-meta-programming.md index 7041f787be32..774452b956ec 100644 --- a/docs/docs/reference/principled-meta-programming.md +++ b/docs/docs/reference/principled-meta-programming.md @@ -751,7 +751,7 @@ environments and terms. Es |- 't: expr T The meta theory of a slightly simplified variant 2-stage variant of this calculus -is studied [separatey](../simple-smp.md) +is studied [separately](simple-smp.md). ## Going Further From 90b1d6721fb56f0715e3546cccb08f4526414b09 Mon Sep 17 00:00:00 2001 From: "Paolo G. Giarrusso" Date: Fri, 11 May 2018 15:24:47 +0200 Subject: [PATCH 3/3] Remove date (we don't add those) --- docs/docs/reference/simple-smp.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/docs/docs/reference/simple-smp.md b/docs/docs/reference/simple-smp.md index 1fcb24895d69..752da90c24b8 100644 --- a/docs/docs/reference/simple-smp.md +++ b/docs/docs/reference/simple-smp.md @@ -3,8 +3,6 @@ layout: doc-page title: "The Meta-theory of Symmetric Meta-programming" --- -23.12.2017 - This note presents a simplified variant of [principled meta-programming](./principled-meta-programming.md) and sketches its soundness proof. The variant treats only dialogues