deploy: 7d3cdfb

lean-ja · Nov 21, 2023 · 10b0670 · 10b0670
1 parent 85f5179
commit 10b0670
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/monad-transformers/reader-io.html b/monad-transformers/reader-io.html
@@ -158,11 +158,11 @@ <h1 id="combining-io-and-reader"><a class="header" href="#combining-io-and-reade
 <pre><code>$ doug
 ├── doug-demo/
 │   ├── a/
-│   │   ├── d/
-│   │   │   ├── another-file
 │   │   ├── e/
 │   │   │   ├── f/
 │   │   │   ├── still-another-file-again
+│   │   ├── d/
+│   │   │   ├── another-file
 │   │   ├── b/
 │   │   │   ├── hello
 │   │   │   ├── c/

diff --git a/print.html b/print.html
@@ -7740,11 +7740,11 @@ <h2 id="universes-1"><a class="header" href="#universes-1">Universes</a></h2>
 <pre><code>$ doug
 ├── doug-demo/
 │   ├── a/
-│   │   ├── d/
-│   │   │   ├── another-file
 │   │   ├── e/
 │   │   │   ├── f/
 │   │   │   ├── still-another-file-again
+│   │   ├── d/
+│   │   │   ├── another-file
 │   │   ├── b/
 │   │   │   ├── hello
 │   │   │   ├── c/

diff --git a/searchindex.js b/searchindex.js
diff --git a/searchindex.json b/searchindex.json