Deployed 002e55d to master with MkDocs 1.4.2 and mike 1.1.2

master/CHANGELOG/index.html

@@ -1707,8 +1707,15 @@ and this project adheres to <a href="https://semver.org/spec/v2.0.0.html">Semant
 <h2 id="unreleased"><a href="https://github.com/aeternity/aesophia/compare/v7.3.0...HEAD">Unreleased</a></h2>
 <h3 id="added">Added</h3>
 <h3 id="changed">Changed</h3>
+<ul>
+<li>Names of lifted lambdas now consist of parent function's name and their
+  position in the source code.</li>
+</ul>
 <h3 id="removed">Removed</h3>
 <h3 id="fixed">Fixed</h3>
+<ul>
+<li>Lifted lambdas get their names assigned deterministically.</li>
+</ul>
 <h2 id="730"><a href="https://github.com/aeternity/aesophia/compare/v7.2.1...v7.3.0">7.3.0</a></h2>
 <h3 id="fixed_1">Fixed</h3>
 <ul>

master/sitemap.xml

@@ -2,47 +2,47 @@
 <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
     <url>
          <loc>None</loc>
-         <lastmod>2023-08-24</lastmod>
+         <lastmod>2023-09-04</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2023-08-24</lastmod>
+         <lastmod>2023-09-04</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2023-08-24</lastmod>
+         <lastmod>2023-09-04</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2023-08-24</lastmod>
+         <lastmod>2023-09-04</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2023-08-24</lastmod>
+         <lastmod>2023-09-04</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2023-08-24</lastmod>
+         <lastmod>2023-09-04</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2023-08-24</lastmod>
+         <lastmod>2023-09-04</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2023-08-24</lastmod>
+         <lastmod>2023-09-04</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2023-08-24</lastmod>
+         <lastmod>2023-09-04</lastmod>
          <changefreq>daily</changefreq>
     </url>
 </urlset>