deploy: 203839e

metaborg · May 30, 2024 · 0721bd1 · 0721bd1
1 parent 061c5dd
commit 0721bd1
Show file tree

Hide file tree

Showing 32 changed files with 1,175 additions and 54 deletions.
diff --git a/develop/404.html b/develop/404.html
@@ -340,6 +340,10 @@
 
 
 
+
+
+
+
 
 
         <label class="md-nav__link" for="__nav_2">
@@ -396,6 +400,34 @@
 
 
 
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="/tutorial/add_transformation/" class="md-nav__link">
+        Adding a transformation
+      </a>
+    </li>
+
+
+
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="/tutorial/pcf_tutorial/" class="md-nav__link">
+        A Spoofax tutorial implementing Programming Computable Functions (PCF)
+      </a>
+    </li>
+
+
+
+
         </ul>
       </nav>
     </li>

diff --git a/develop/__pycache__/macro.cpython-38.pyc b/develop/__pycache__/macro.cpython-38.pyc
diff --git a/develop/_include/_all/index.html b/develop/_include/_all/index.html
@@ -340,6 +340,10 @@
 
 
 
+
+
+
+
 
 
         <label class="md-nav__link" for="__nav_2">
@@ -396,6 +400,34 @@
 
 
 
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/add_transformation/" class="md-nav__link">
+        Adding a transformation
+      </a>
+    </li>
+
+
+
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/pcf_tutorial/" class="md-nav__link">
+        A Spoofax tutorial implementing Programming Computable Functions (PCF)
+      </a>
+    </li>
+
+
+
+
         </ul>
       </nav>
     </li>

diff --git a/develop/_include/abbreviation/index.html b/develop/_include/abbreviation/index.html
@@ -340,6 +340,10 @@
 
 
 
+
+
+
+
 
 
         <label class="md-nav__link" for="__nav_2">
@@ -396,6 +400,34 @@
 
 
 
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/add_transformation/" class="md-nav__link">
+        Adding a transformation
+      </a>
+    </li>
+
+
+
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/pcf_tutorial/" class="md-nav__link">
+        A Spoofax tutorial implementing Programming Computable Functions (PCF)
+      </a>
+    </li>
+
+
+
+
         </ul>
       </nav>
     </li>

diff --git a/develop/background/documentation/index.html b/develop/background/documentation/index.html
@@ -347,6 +347,10 @@
 
 
 
+
+
+
+
 
 
         <label class="md-nav__link" for="__nav_2">
@@ -403,6 +407,34 @@
 
 
 
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/add_transformation/" class="md-nav__link">
+        Adding a transformation
+      </a>
+    </li>
+
+
+
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/pcf_tutorial/" class="md-nav__link">
+        A Spoofax tutorial implementing Programming Computable Functions (PCF)
+      </a>
+    </li>
+
+
+
+
         </ul>
       </nav>
     </li>

diff --git a/develop/background/key_ideas/index.html b/develop/background/key_ideas/index.html
@@ -347,6 +347,10 @@
 
 
 
+
+
+
+
 
 
         <label class="md-nav__link" for="__nav_2">
@@ -403,6 +407,34 @@
 
 
 
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/add_transformation/" class="md-nav__link">
+        Adding a transformation
+      </a>
+    </li>
+
+
+
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/pcf_tutorial/" class="md-nav__link">
+        A Spoofax tutorial implementing Programming Computable Functions (PCF)
+      </a>
+    </li>
+
+
+
+
         </ul>
       </nav>
     </li>

diff --git a/develop/background/motivation/index.html b/develop/background/motivation/index.html
@@ -347,6 +347,10 @@
 
 
 
+
+
+
+
 
 
         <label class="md-nav__link" for="__nav_2">
@@ -403,6 +407,34 @@
 
 
 
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/add_transformation/" class="md-nav__link">
+        Adding a transformation
+      </a>
+    </li>
+
+
+
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/pcf_tutorial/" class="md-nav__link">
+        A Spoofax tutorial implementing Programming Computable Functions (PCF)
+      </a>
+    </li>
+
+
+
+
         </ul>
       </nav>
     </li>

diff --git a/develop/background/status/index.html b/develop/background/status/index.html
@@ -347,6 +347,10 @@
 
 
 
+
+
+
+
 
 
         <label class="md-nav__link" for="__nav_2">
@@ -403,6 +407,34 @@
 
 
 
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/add_transformation/" class="md-nav__link">
+        Adding a transformation
+      </a>
+    </li>
+
+
+
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/pcf_tutorial/" class="md-nav__link">
+        A Spoofax tutorial implementing Programming Computable Functions (PCF)
+      </a>
+    </li>
+
+
+
+
         </ul>
       </nav>
     </li>

diff --git a/develop/guide/ask_for_help/index.html b/develop/guide/ask_for_help/index.html
@@ -347,6 +347,10 @@
 
 
 
+
+
+
+
 
 
         <label class="md-nav__link" for="__nav_2">
@@ -403,6 +407,34 @@
 
 
 
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/add_transformation/" class="md-nav__link">
+        Adding a transformation
+      </a>
+    </li>
+
+
+
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../tutorial/pcf_tutorial/" class="md-nav__link">
+        A Spoofax tutorial implementing Programming Computable Functions (PCF)
+      </a>
+    </li>
+
+
+
+
         </ul>
       </nav>
     </li>
@@ -1007,7 +1039,7 @@ <h1 id="ask-for-help">Ask for help<a class="headerlink" href="#ask-for-help" tit
     <nav class="md-footer__inner md-grid" aria-label="Footer" >
 
 
-        <a href="../../tutorial/change_static_semantics/" class="md-footer__link md-footer__link--prev" aria-label="Previous: Change static semantics" rel="prev">
+        <a href="../../tutorial/pcf_tutorial/" class="md-footer__link md-footer__link--prev" aria-label="Previous: A Spoofax tutorial implementing Programming Computable Functions (PCF)" rel="prev">
           <div class="md-footer__button md-icon">
             <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M20 11v2H8l5.5 5.5-1.42 1.42L4.16 12l7.92-7.92L13.5 5.5 8 11h12Z"/></svg>
           </div>
@@ -1016,7 +1048,7 @@ <h1 id="ask-for-help">Ask for help<a class="headerlink" href="#ask-for-help" tit
               <span class="md-footer__direction">
                 Previous
               </span>
-              Change static semantics
+              A Spoofax tutorial implementing Programming Computable Functions (PCF)
             </div>
           </div>
         </a>