File tree Expand file tree Collapse file tree 2 files changed +7
-3
lines changed Expand file tree Collapse file tree 2 files changed +7
-3
lines changed Original file line number Diff line number Diff line change @@ -7,11 +7,12 @@ title: "The Meta-theory of Symmetric Meta-programming"
7
7
8
8
23.12.2017
9
9
10
- This note presents a simplified variant of symmetric meta-programming
10
+ This note presents a simplified variant of
11
+ [ symmetric meta-programming] ( ./symmetric-meta-programming.md )
11
12
and sketches its soundness proof. The variant treats only dialogues
12
- between two stages. A program can have quotes which can contain
13
+ between two stages. A program can have quotes which can contain
13
14
splices (which can contain quotes, which can contain splices, and so
14
- on). Or the program could start with a splice with embedded
15
+ on). Or the program could start with a splice with embedded
15
16
quotes. The essential restriction is that (1) a term can contain top-level
16
17
quotes or top-level splices, but not both, and (2) quotes cannot appear
17
18
directly inside quotes and splices cannot appear directly inside
Original file line number Diff line number Diff line change @@ -701,6 +701,9 @@ environments and terms.
701
701
----------------
702
702
Es |- ’t: expr T
703
703
704
+ The meta theory of a slightly simplified variant 2-stage variant of this calculus
705
+ is studied [ separatey] ( ../simple-smp.md )
706
+
704
707
## Going Further
705
708
706
709
The meta-programming framework as presented and currently implemented is quite restrictive
You can’t perform that action at this time.
0 commit comments