summaryrefslogtreecommitdiffstats
path: root/content/zettel/1d1.md
diff options
context:
space:
mode:
Diffstat (limited to 'content/zettel/1d1.md')
-rw-r--r--content/zettel/1d1.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/content/zettel/1d1.md b/content/zettel/1d1.md
index dcd131c..cc902c4 100644
--- a/content/zettel/1d1.md
+++ b/content/zettel/1d1.md
@@ -38,6 +38,8 @@ to support a subset of possible recursive functions. Even though these
are as powerful as loops, it may be more natural to write their
definitions as a recursive function instead of a loop.
+{{< /transclude-1 >}}
+
{{< transclude-2 zettel="1b1" >}}
Guarded commands \[2\] are an interesting construct which can be added
@@ -71,8 +73,6 @@ constructs that use the guarded commands.
{{< /transclude-2 >}}
-{{< /transclude-1 >}}
-
<div id="refs" class="references csl-bib-body" markdown="1">
<div id="ref-leroy06_formal_certif_compil_back_end" class="csl-entry"