Deployed 9f851f5 to develop in ru/ with MkDocs 1.5.3 and mike 2.0.0

rzk-lang · Mar 19, 2024 · 8052443 · 8052443
1 parent 96ee3c9
commit 8052443
Show file tree

Hide file tree

Showing 40 changed files with 1,743 additions and 12,778 deletions.
diff --git a/ru/develop/404.html b/ru/develop/404.html
diff --git a/ru/develop/CHANGELOG/index.html b/ru/develop/CHANGELOG/index.html
diff --git a/ru/develop/CONTRIBUTORS/index.html b/ru/develop/CONTRIBUTORS/index.html
diff --git a/ru/develop/assets/images/social/examples/recId.rzk.png b/ru/develop/assets/images/social/examples/recId.rzk.png
diff --git a/ru/develop/assets/images/social/reference/commands/define-postulate.rzk.png b/ru/develop/assets/images/social/reference/commands/define-postulate.rzk.png
diff --git a/ru/develop/assets/images/social/reference/cube-layer.rzk.png b/ru/develop/assets/images/social/reference/cube-layer.rzk.png
diff --git a/ru/develop/assets/images/social/reference/tope-layer.rzk.png b/ru/develop/assets/images/social/reference/tope-layer.rzk.png
diff --git a/ru/develop/assets/javascripts/bundle.bd41221c.min.js b/ru/develop/assets/javascripts/bundle.bd41221c.min.js
diff --git a/ru/develop/assets/javascripts/bundle.bd41221c.min.js.map b/ru/develop/assets/javascripts/bundle.bd41221c.min.js.map
diff --git a/ru/develop/assets/javascripts/workers/search.b8dbb3d2.min.js b/ru/develop/assets/javascripts/workers/search.b8dbb3d2.min.js
diff --git a/ru/develop/assets/javascripts/workers/search.b8dbb3d2.min.js.map b/ru/develop/assets/javascripts/workers/search.b8dbb3d2.min.js.map
diff --git a/ru/develop/assets/stylesheets/main.10ba22f1.min.css b/ru/develop/assets/stylesheets/main.10ba22f1.min.css
diff --git a/ru/develop/assets/stylesheets/main.10ba22f1.min.css.map b/ru/develop/assets/stylesheets/main.10ba22f1.min.css.map
diff --git a/ru/develop/community/index.html b/ru/develop/community/index.html
diff --git a/ru/develop/examples/recId.rzk/index.html b/ru/develop/examples/recId.rzk/index.html
diff --git a/ru/develop/getting-started/dependent-types.rzk/index.html b/ru/develop/getting-started/dependent-types.rzk/index.html
diff --git a/ru/develop/getting-started/index.html b/ru/develop/getting-started/index.html
diff --git a/ru/develop/getting-started/install/index.html b/ru/develop/getting-started/install/index.html
diff --git a/ru/develop/getting-started/project/index.html b/ru/develop/getting-started/project/index.html
diff --git a/ru/develop/getting-started/quickstart.rzk/index.html b/ru/develop/getting-started/quickstart.rzk/index.html
diff --git a/ru/develop/index.html b/ru/develop/index.html
diff --git a/ru/develop/reference/builtins/directed-interval.rzk/index.html b/ru/develop/reference/builtins/directed-interval.rzk/index.html
diff --git a/ru/develop/reference/builtins/unit.rzk/index.html b/ru/develop/reference/builtins/unit.rzk/index.html
diff --git a/ru/develop/reference/commands/check.rzk/index.html b/ru/develop/reference/commands/check.rzk/index.html
diff --git a/ru/develop/reference/commands/compute.rzk/index.html b/ru/develop/reference/commands/compute.rzk/index.html
diff --git a/ru/develop/reference/commands/define-postulate.rzk/index.html b/ru/develop/reference/commands/define-postulate.rzk/index.html
diff --git a/ru/develop/reference/commands/options.rzk/index.html b/ru/develop/reference/commands/options.rzk/index.html
diff --git a/ru/develop/reference/cube-layer.rzk/index.html b/ru/develop/reference/cube-layer.rzk/index.html
diff --git a/ru/develop/reference/extension-types.rzk/index.html b/ru/develop/reference/extension-types.rzk/index.html
diff --git a/ru/develop/reference/introduction.rzk/index.html b/ru/develop/reference/introduction.rzk/index.html
diff --git a/ru/develop/reference/render.rzk/index.html b/ru/develop/reference/render.rzk/index.html
diff --git a/ru/develop/reference/sections.rzk/index.html b/ru/develop/reference/sections.rzk/index.html
diff --git a/ru/develop/reference/tope-disjunction-elimination.rzk/index.html b/ru/develop/reference/tope-disjunction-elimination.rzk/index.html
diff --git a/ru/develop/reference/tope-layer.rzk/index.html b/ru/develop/reference/tope-layer.rzk/index.html
diff --git a/ru/develop/reference/type-layer.rzk/index.html b/ru/develop/reference/type-layer.rzk/index.html
diff --git a/ru/develop/related/index.html b/ru/develop/related/index.html
diff --git a/ru/develop/search/search_index.json b/ru/develop/search/search_index.json
diff --git a/ru/develop/sitemap.xml b/ru/develop/sitemap.xml
@@ -2,132 +2,132 @@
 <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/CHANGELOG/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/CONTRIBUTORS/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/community/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/related/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/tools/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/examples/recId.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/getting-started/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/getting-started/dependent-types.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/getting-started/install/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/getting-started/project/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/getting-started/quickstart.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/cube-layer.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/extension-types.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/introduction.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/render.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/sections.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/tope-disjunction-elimination.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/tope-layer.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/type-layer.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/builtins/directed-interval.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/builtins/unit.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/commands/check.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/commands/compute.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/commands/define-postulate.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>https://rzk-lang.github.io/rzk/ru/develop/reference/commands/options.rzk/</loc>
-         <lastmod>2023-12-15</lastmod>
+         <lastmod>2024-03-19</lastmod>
          <changefreq>daily</changefreq>
     </url>
 </urlset>
diff --git a/ru/develop/sitemap.xml.gz b/ru/develop/sitemap.xml.gz