Skip to content

Commit 90b1d67

Browse files
committed
Remove date (we don't add those)
1 parent 4d0cb87 commit 90b1d67

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

docs/docs/reference/simple-smp.md

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,6 @@ layout: doc-page
33
title: "The Meta-theory of Symmetric Meta-programming"
44
---
55

6-
23.12.2017
7-
86
This note presents a simplified variant of
97
[principled meta-programming](./principled-meta-programming.md)
108
and sketches its soundness proof. The variant treats only dialogues

0 commit comments

Comments
 (0)