Deploying to gh-pages from @ 463d91e 🚀

rzk-lang · Dec 13, 2023 · 183ec10 · 183ec10
1 parent bdcc4d6
commit 183ec10
Show file tree

Hide file tree

Showing 73 changed files with 10,090 additions and 224 deletions.
diff --git a/1-foundations/0-chapter-template/01-section.rzk/index.html b/1-foundations/0-chapter-template/01-section.rzk/index.html
@@ -635,11 +635,11 @@
 
 
     <li class="md-nav__item">
-      <a href="../../2-homotopy-type-theory/04-homotopies-are-equivalences.rzk/" class="md-nav__link">
+      <a href="../../2-homotopy-type-theory/04-homotopies-and-equivalences.rzk/" class="md-nav__link">
 
 
   <span class="md-ellipsis">
-    2.4 Homotopies are equivalences
+    2.4 Homotopies and equivalences
   </span>
 
 
@@ -897,6 +897,68 @@
 
 
 
+
+
+
+
+
+
+
+
+    <li class="md-nav__item md-nav__item--nested">
+
+
+
+
+
+        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_2_3" >
+
+          <label class="md-nav__link" for="__nav_2_3" id="__nav_2_3_label" tabindex="0">
+
+
+  <span class="md-ellipsis">
+    3 Sets and Logic
+  </span>
+
+
+            <span class="md-nav__icon md-icon"></span>
+          </label>
+
+        <nav class="md-nav" data-md-level="2" aria-labelledby="__nav_2_3_label" aria-expanded="false">
+          <label class="md-nav__title" for="__nav_2_3">
+            <span class="md-nav__icon md-icon"></span>
+            3 Sets and Logic
+          </label>
+          <ul class="md-nav__list" data-md-scrollfix>
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../3-sets-and-logic/01-sets-and-n-types.rzk/" class="md-nav__link">
+
+
+  <span class="md-ellipsis">
+    3.1 Sets and n-types
+  </span>
+
+
+      </a>
+    </li>
+
+
+
+
+          </ul>
+        </nav>
+
+    </li>
+
+
+
+
           </ul>
         </nav>
 

diff --git a/1-foundations/0-chapter-template/02-section.rzk/index.html b/1-foundations/0-chapter-template/02-section.rzk/index.html
@@ -635,11 +635,11 @@
 
 
     <li class="md-nav__item">
-      <a href="../../2-homotopy-type-theory/04-homotopies-are-equivalences.rzk/" class="md-nav__link">
+      <a href="../../2-homotopy-type-theory/04-homotopies-and-equivalences.rzk/" class="md-nav__link">
 
 
   <span class="md-ellipsis">
-    2.4 Homotopies are equivalences
+    2.4 Homotopies and equivalences
   </span>
 
 
@@ -897,6 +897,68 @@
 
 
 
+
+
+
+
+
+
+
+
+    <li class="md-nav__item md-nav__item--nested">
+
+
+
+
+
+        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_2_3" >
+
+          <label class="md-nav__link" for="__nav_2_3" id="__nav_2_3_label" tabindex="0">
+
+
+  <span class="md-ellipsis">
+    3 Sets and Logic
+  </span>
+
+
+            <span class="md-nav__icon md-icon"></span>
+          </label>
+
+        <nav class="md-nav" data-md-level="2" aria-labelledby="__nav_2_3_label" aria-expanded="false">
+          <label class="md-nav__title" for="__nav_2_3">
+            <span class="md-nav__icon md-icon"></span>
+            3 Sets and Logic
+          </label>
+          <ul class="md-nav__list" data-md-scrollfix>
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../3-sets-and-logic/01-sets-and-n-types.rzk/" class="md-nav__link">
+
+
+  <span class="md-ellipsis">
+    3.1 Sets and n-types
+  </span>
+
+
+      </a>
+    </li>
+
+
+
+
+          </ul>
+        </nav>
+
+    </li>
+
+
+
+
           </ul>
         </nav>
 

diff --git a/1-foundations/0-chapter-template/exercises/0.1-solution.rzk/index.html b/1-foundations/0-chapter-template/exercises/0.1-solution.rzk/index.html
@@ -635,11 +635,11 @@
 
 
     <li class="md-nav__item">
-      <a href="../../../2-homotopy-type-theory/04-homotopies-are-equivalences.rzk/" class="md-nav__link">
+      <a href="../../../2-homotopy-type-theory/04-homotopies-and-equivalences.rzk/" class="md-nav__link">
 
 
   <span class="md-ellipsis">
-    2.4 Homotopies are equivalences
+    2.4 Homotopies and equivalences
   </span>
 
 
@@ -897,6 +897,68 @@
 
 
 
+
+
+
+
+
+
+
+
+    <li class="md-nav__item md-nav__item--nested">
+
+
+
+
+
+        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_2_3" >
+
+          <label class="md-nav__link" for="__nav_2_3" id="__nav_2_3_label" tabindex="0">
+
+
+  <span class="md-ellipsis">
+    3 Sets and Logic
+  </span>
+
+
+            <span class="md-nav__icon md-icon"></span>
+          </label>
+
+        <nav class="md-nav" data-md-level="2" aria-labelledby="__nav_2_3_label" aria-expanded="false">
+          <label class="md-nav__title" for="__nav_2_3">
+            <span class="md-nav__icon md-icon"></span>
+            3 Sets and Logic
+          </label>
+          <ul class="md-nav__list" data-md-scrollfix>
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../../3-sets-and-logic/01-sets-and-n-types.rzk/" class="md-nav__link">
+
+
+  <span class="md-ellipsis">
+    3.1 Sets and n-types
+  </span>
+
+
+      </a>
+    </li>
+
+
+
+
+          </ul>
+        </nav>
+
+    </li>
+
+
+
+
           </ul>
         </nav>
 

diff --git a/1-foundations/0-chapter-template/exercises/0.2-solution.rzk/index.html b/1-foundations/0-chapter-template/exercises/0.2-solution.rzk/index.html
@@ -635,11 +635,11 @@
 
 
     <li class="md-nav__item">
-      <a href="../../../2-homotopy-type-theory/04-homotopies-are-equivalences.rzk/" class="md-nav__link">
+      <a href="../../../2-homotopy-type-theory/04-homotopies-and-equivalences.rzk/" class="md-nav__link">
 
 
   <span class="md-ellipsis">
-    2.4 Homotopies are equivalences
+    2.4 Homotopies and equivalences
   </span>
 
 
@@ -897,6 +897,68 @@
 
 
 
+
+
+
+
+
+
+
+
+    <li class="md-nav__item md-nav__item--nested">
+
+
+
+
+
+        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_2_3" >
+
+          <label class="md-nav__link" for="__nav_2_3" id="__nav_2_3_label" tabindex="0">
+
+
+  <span class="md-ellipsis">
+    3 Sets and Logic
+  </span>
+
+
+            <span class="md-nav__icon md-icon"></span>
+          </label>
+
+        <nav class="md-nav" data-md-level="2" aria-labelledby="__nav_2_3_label" aria-expanded="false">
+          <label class="md-nav__title" for="__nav_2_3">
+            <span class="md-nav__icon md-icon"></span>
+            3 Sets and Logic
+          </label>
+          <ul class="md-nav__list" data-md-scrollfix>
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../../../3-sets-and-logic/01-sets-and-n-types.rzk/" class="md-nav__link">
+
+
+  <span class="md-ellipsis">
+    3.1 Sets and n-types
+  </span>
+
+
+      </a>
+    </li>
+
+
+
+
+          </ul>
+        </nav>
+
+    </li>
+
+
+
+
           </ul>
         </nav>