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