summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--2020/12/08/二零二零年十二月八日/index.html13
-rw-r--r--2020/12/09/二零二零年十二月九日/index.html13
-rw-r--r--2020/12/26/二零二零年十二月二十六日/index.html13
-rw-r--r--2021/02/14/二零二一年二月十四日/index.html13
-rw-r--r--2021/02/16/二零二一年二月十六日/index.html13
-rw-r--r--2021/03/15/二零二一年三月十五日/index.html13
-rw-r--r--2021/03/27/二零二一年三月二十七日/index.html13
-rw-r--r--2022/01/01/二零二二年一月一日/index.html13
-rw-r--r--2022/03/14/二零二二年三月十四日/index.html13
-rw-r--r--2022/08/21/二零二二年八月二十一日/index.html13
-rw-r--r--2022/09/22/二零二二年九月二十二日/index.html13
-rw-r--r--2022/10/01/二零二二年十月一日/index.html13
-rw-r--r--2022/11/03/二零二二年十一月月三日/index.html13
-rw-r--r--2022/12/31/二零二二年十二月三十一日/index.html13
-rw-r--r--2023/01/21/二零二三年一月二十一日/index.html13
-rw-r--r--2023/02/01/二零二三年二月一日/index.html13
-rw-r--r--2023/02/02/二零二三年二月二日/index.html13
-rw-r--r--2023/02/22/二零二三年二月二十二日/index.html13
-rw-r--r--2023/02/24/二零二三年二月二十四日/index.html13
-rw-r--r--2023/02/25/二零二三年二月二十五日/index.html13
-rw-r--r--2023/02/26/二零二三年二月二十六日/index.html18
-rw-r--r--2023/02/28/OCaml-Effects简明教程/index.html220
-rw-r--r--about.html13
-rw-r--r--archives/2020/12/index.html13
-rw-r--r--archives/2020/index.html13
-rw-r--r--archives/2021/02/index.html13
-rw-r--r--archives/2021/03/index.html13
-rw-r--r--archives/2021/index.html13
-rw-r--r--archives/2022/01/index.html13
-rw-r--r--archives/2022/03/index.html13
-rw-r--r--archives/2022/08/index.html13
-rw-r--r--archives/2022/09/index.html13
-rw-r--r--archives/2022/10/index.html13
-rw-r--r--archives/2022/11/index.html13
-rw-r--r--archives/2022/12/index.html13
-rw-r--r--archives/2022/index.html13
-rw-r--r--archives/2023/01/index.html13
-rw-r--r--archives/2023/02/index.html31
-rw-r--r--archives/2023/index.html31
-rw-r--r--archives/index.html51
-rw-r--r--archives/page/2/index.html49
-rw-r--r--archives/page/3/index.html31
-rw-r--r--categories/gallery/index.html13
-rw-r--r--categories/gallery/page/2/index.html13
-rw-r--r--categories/gallery/page/3/index.html13
-rw-r--r--index.html19
-rw-r--r--page/2/index.html19
-rw-r--r--page/3/index.html19
-rw-r--r--tag/index.html169
-rw-r--r--tags/OCaml/index.html183
-rw-r--r--tags/Technique/index.html183
51 files changed, 1383 insertions, 134 deletions
diff --git a/2020/12/08/二零二零年十二月八日/index.html b/2020/12/08/二零二零年十二月八日/index.html
index 3b71d9dd..556276fc 100644
--- a/2020/12/08/二零二零年十二月八日/index.html
+++ b/2020/12/08/二零二零年十二月八日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -182,6 +189,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2020/12/09/二零二零年十二月九日/index.html b/2020/12/09/二零二零年十二月九日/index.html
index 5d111bbf..7220c9ba 100644
--- a/2020/12/09/二零二零年十二月九日/index.html
+++ b/2020/12/09/二零二零年十二月九日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2020/12/26/二零二零年十二月二十六日/index.html b/2020/12/26/二零二零年十二月二十六日/index.html
index 040f5564..5ff58e34 100644
--- a/2020/12/26/二零二零年十二月二十六日/index.html
+++ b/2020/12/26/二零二零年十二月二十六日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2021/02/14/二零二一年二月十四日/index.html b/2021/02/14/二零二一年二月十四日/index.html
index 0677a983..bdbf8a7a 100644
--- a/2021/02/14/二零二一年二月十四日/index.html
+++ b/2021/02/14/二零二一年二月十四日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2021/02/16/二零二一年二月十六日/index.html b/2021/02/16/二零二一年二月十六日/index.html
index c71f6457..640e50a1 100644
--- a/2021/02/16/二零二一年二月十六日/index.html
+++ b/2021/02/16/二零二一年二月十六日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2021/03/15/二零二一年三月十五日/index.html b/2021/03/15/二零二一年三月十五日/index.html
index f8846c5a..1cd8de9d 100644
--- a/2021/03/15/二零二一年三月十五日/index.html
+++ b/2021/03/15/二零二一年三月十五日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2021/03/27/二零二一年三月二十七日/index.html b/2021/03/27/二零二一年三月二十七日/index.html
index 22148d9a..0e39018d 100644
--- a/2021/03/27/二零二一年三月二十七日/index.html
+++ b/2021/03/27/二零二一年三月二十七日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2022/01/01/二零二二年一月一日/index.html b/2022/01/01/二零二二年一月一日/index.html
index f3acf9bf..5352c6d0 100644
--- a/2022/01/01/二零二二年一月一日/index.html
+++ b/2022/01/01/二零二二年一月一日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2022/03/14/二零二二年三月十四日/index.html b/2022/03/14/二零二二年三月十四日/index.html
index a6bc478d..71cb92d0 100644
--- a/2022/03/14/二零二二年三月十四日/index.html
+++ b/2022/03/14/二零二二年三月十四日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2022/08/21/二零二二年八月二十一日/index.html b/2022/08/21/二零二二年八月二十一日/index.html
index d0f58b16..25dc6328 100644
--- a/2022/08/21/二零二二年八月二十一日/index.html
+++ b/2022/08/21/二零二二年八月二十一日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2022/09/22/二零二二年九月二十二日/index.html b/2022/09/22/二零二二年九月二十二日/index.html
index 3d2d2873..9278b322 100644
--- a/2022/09/22/二零二二年九月二十二日/index.html
+++ b/2022/09/22/二零二二年九月二十二日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2022/10/01/二零二二年十月一日/index.html b/2022/10/01/二零二二年十月一日/index.html
index 5c410676..b1e6a6a3 100644
--- a/2022/10/01/二零二二年十月一日/index.html
+++ b/2022/10/01/二零二二年十月一日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2022/11/03/二零二二年十一月月三日/index.html b/2022/11/03/二零二二年十一月月三日/index.html
index 94eeca77..045f4913 100644
--- a/2022/11/03/二零二二年十一月月三日/index.html
+++ b/2022/11/03/二零二二年十一月月三日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2022/12/31/二零二二年十二月三十一日/index.html b/2022/12/31/二零二二年十二月三十一日/index.html
index e13cd4cd..81a48c75 100644
--- a/2022/12/31/二零二二年十二月三十一日/index.html
+++ b/2022/12/31/二零二二年十二月三十一日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2023/01/21/二零二三年一月二十一日/index.html b/2023/01/21/二零二三年一月二十一日/index.html
index 455e6069..f3e2e363 100644
--- a/2023/01/21/二零二三年一月二十一日/index.html
+++ b/2023/01/21/二零二三年一月二十一日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2023/02/01/二零二三年二月一日/index.html b/2023/02/01/二零二三年二月一日/index.html
index baa78a47..97f238b5 100644
--- a/2023/02/01/二零二三年二月一日/index.html
+++ b/2023/02/01/二零二三年二月一日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2023/02/02/二零二三年二月二日/index.html b/2023/02/02/二零二三年二月二日/index.html
index 89e1ab98..2a18d155 100644
--- a/2023/02/02/二零二三年二月二日/index.html
+++ b/2023/02/02/二零二三年二月二日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2023/02/22/二零二三年二月二十二日/index.html b/2023/02/22/二零二三年二月二十二日/index.html
index ccc7e23d..25d998b3 100644
--- a/2023/02/22/二零二三年二月二十二日/index.html
+++ b/2023/02/22/二零二三年二月二十二日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -187,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2023/02/24/二零二三年二月二十四日/index.html b/2023/02/24/二零二三年二月二十四日/index.html
index c0eaecb6..4891901e 100644
--- a/2023/02/24/二零二三年二月二十四日/index.html
+++ b/2023/02/24/二零二三年二月二十四日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -188,6 +195,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2023/02/25/二零二三年二月二十五日/index.html b/2023/02/25/二零二三年二月二十五日/index.html
index 29874d0d..f61c7a5c 100644
--- a/2023/02/25/二零二三年二月二十五日/index.html
+++ b/2023/02/25/二零二三年二月二十五日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -189,6 +196,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2023/02/26/二零二三年二月二十六日/index.html b/2023/02/26/二零二三年二月二十六日/index.html
index 89d83a62..bc3d87f1 100644
--- a/2023/02/26/二零二三年二月二十六日/index.html
+++ b/2023/02/26/二零二三年二月二十六日/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -149,6 +156,11 @@
<nav class="post-nav">
<div class="prev-item">
+ <div class="icon arrow-left"></div>
+ <div class="post-link">
+ <a href="/2023/02/28/OCaml-Effects%E7%AE%80%E6%98%8E%E6%95%99%E7%A8%8B/">Prev</a>
+ </div>
+
</div>
<div class="next-item">
@@ -182,6 +194,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/2023/02/28/OCaml-Effects简明教程/index.html b/2023/02/28/OCaml-Effects简明教程/index.html
new file mode 100644
index 00000000..04e78822
--- /dev/null
+++ b/2023/02/28/OCaml-Effects简明教程/index.html
@@ -0,0 +1,220 @@
+<!DOCTYPE html>
+<html lang="en">
+ <head>
+ <meta charset="UTF-8">
+<meta name="viewport"
+ content="width=device-width, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0">
+<meta http-equiv="X-UA-Compatible" content="ie=edge">
+
+ <meta name="author" content="含暮秋">
+
+
+ <meta name="subtitle" content="暮秋小屋">
+
+
+ <meta name="description" content="不卑不亢的码农, 朴素的民谣诗人">
+
+
+ <meta name="keywords" content="韩暮秋,MuqiuHan">
+
+
+
+
+<title>OCaml Effects简明教程 | 暮秋小屋</title>
+
+
+
+
+
+<style>
+ @import url('https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700&family=Noto+Sans+SC:wght@300;400;500;700&family=Roboto+Mono&display=swap');
+</style>
+
+
+
+ <!-- stylesheets list from _config.yml -->
+
+ <link rel="stylesheet" href="/css/style.css">
+
+
+
+
+
+ <!-- scripts list from _config.yml -->
+
+ <script src="/js/frame.js"></script>
+
+
+
+
+
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
+
+
+
+
+
+
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
+ <body>
+ <div class="mask-border">
+ </div>
+
+ <div class="wrapper">
+
+ <div class="header">
+ <div class="flex-container">
+ <div class="header-inner">
+ <div class="site-brand-container">
+ <a href="/">
+
+ 暮秋小屋
+
+ </a>
+ </div>
+ <div id="menu-btn" class="menu-btn" onclick="toggleMenu()">
+ Menu
+ </div>
+ <nav class="site-nav">
+ <ul class="menu-list">
+
+
+ <li class="menu-item">
+ <a href="/">主页</a>
+ </li>
+
+
+
+ <li class="menu-item">
+ <a href="/tags/Technique/">技术文章</a>
+ </li>
+
+
+
+ <li class="menu-item">
+ <a href="/categories/gallery/">日记本</a>
+ </li>
+
+
+
+ <li class="menu-item">
+ <a href="/about">关于</a>
+ </li>
+
+
+
+ </ul>
+ </nav>
+ </div>
+ </div>
+</div>
+
+
+ <div class="main">
+ <div class="flex-container">
+ <article id="post">
+
+
+ <div class="post-head">
+ <div class="post-info">
+ <div class="tag-list">
+
+
+ <span class="post-tag">
+ <a href="/tags/OCaml/">
+ OCaml
+ </a>
+ </span>
+
+ <span class="post-tag">
+ <a href="/tags/Technique/">
+ Technique
+ </a>
+ </span>
+
+
+ </div>
+ <div class="post-title">
+
+
+ OCaml Effects简明教程
+
+
+ </div>
+ <span class="post-date">
+ Feb 28, 2023
+ </span>
+ </div>
+ <div class="post-img">
+
+ <div class="h-line-primary"></div>
+
+ </div>
+</div>
+ <div class="post-content">
+
+</div>
+
+<script>
+ window.onload = detectors();
+</script>
+ <div class="post-footer">
+ <div class="h-line-primary"></div>
+ <nav class="post-nav">
+ <div class="prev-item">
+
+ </div>
+ <div class="next-item">
+
+ <div class="icon arrow-right"></div>
+ <div class="post-link">
+ <a href="/2023/02/26/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E5%85%AD%E6%97%A5/">Next</a>
+ </div>
+
+ </div>
+ </nav>
+</div>
+
+
+ <div class="post-comment">
+
+
+
+
+
+
+
+</div>
+
+
+</article>
+ </div>
+ </div>
+
+ <div class="footer">
+ <div class="flex-container">
+ <div class="footer-text">
+
+
+ |
+
+
+ 希望路过的人可以添点柴火让这里暖和点
+
+ </div>
+ </div>
+</div>
+
+ </div>
+
+
+
+
+ </body>
+</html>
diff --git a/about.html b/about.html
index 2f179d9a..ac404703 100644
--- a/about.html
+++ b/about.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -154,6 +161,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2020/12/index.html b/archives/2020/12/index.html
index 277d9189..ddc86e98 100644
--- a/archives/2020/12/index.html
+++ b/archives/2020/12/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -183,6 +190,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2020/index.html b/archives/2020/index.html
index 3c8159c8..287a7f8b 100644
--- a/archives/2020/index.html
+++ b/archives/2020/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -183,6 +190,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2021/02/index.html b/archives/2021/02/index.html
index 971c7354..c0da0856 100644
--- a/archives/2021/02/index.html
+++ b/archives/2021/02/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -165,6 +172,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2021/03/index.html b/archives/2021/03/index.html
index 3ff5331e..b71a71be 100644
--- a/archives/2021/03/index.html
+++ b/archives/2021/03/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -165,6 +172,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2021/index.html b/archives/2021/index.html
index d7279d29..d2cb66a8 100644
--- a/archives/2021/index.html
+++ b/archives/2021/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -201,6 +208,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2022/01/index.html b/archives/2022/01/index.html
index 0e872c30..62e4c179 100644
--- a/archives/2022/01/index.html
+++ b/archives/2022/01/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -147,6 +154,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2022/03/index.html b/archives/2022/03/index.html
index c186b9ba..d6ea1c7d 100644
--- a/archives/2022/03/index.html
+++ b/archives/2022/03/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -147,6 +154,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2022/08/index.html b/archives/2022/08/index.html
index 52eaee80..0d3e6431 100644
--- a/archives/2022/08/index.html
+++ b/archives/2022/08/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -147,6 +154,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2022/09/index.html b/archives/2022/09/index.html
index 3f112fed..3e801790 100644
--- a/archives/2022/09/index.html
+++ b/archives/2022/09/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -147,6 +154,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2022/10/index.html b/archives/2022/10/index.html
index ef25695e..19c439f6 100644
--- a/archives/2022/10/index.html
+++ b/archives/2022/10/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -147,6 +154,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2022/11/index.html b/archives/2022/11/index.html
index bc730050..f83fa83f 100644
--- a/archives/2022/11/index.html
+++ b/archives/2022/11/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -147,6 +154,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2022/12/index.html b/archives/2022/12/index.html
index 8237aeba..f29bb596 100644
--- a/archives/2022/12/index.html
+++ b/archives/2022/12/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -147,6 +154,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2022/index.html b/archives/2022/index.html
index b4e6499f..16d5d5ba 100644
--- a/archives/2022/index.html
+++ b/archives/2022/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -255,6 +262,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2023/01/index.html b/archives/2023/01/index.html
index e53286a0..ba2cb10c 100644
--- a/archives/2023/01/index.html
+++ b/archives/2023/01/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -147,6 +154,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2023/02/index.html b/archives/2023/02/index.html
index 26285f74..c9611aed 100644
--- a/archives/2023/02/index.html
+++ b/archives/2023/02/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -123,6 +130,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2023/02/28/OCaml-Effects%E7%AE%80%E6%98%8E%E6%95%99%E7%A8%8B/">
+
+ OCaml Effects简明教程
+
+ </a>
+ </div>
+
+ <span class="post-date">Feb 28, 2023</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2023/02/26/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E5%85%AD%E6%97%A5/">
二零二三年二月二十六日
@@ -237,6 +262,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/2023/index.html b/archives/2023/index.html
index 21c04793..566b550a 100644
--- a/archives/2023/index.html
+++ b/archives/2023/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -123,6 +130,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2023/02/28/OCaml-Effects%E7%AE%80%E6%98%8E%E6%95%99%E7%A8%8B/">
+
+ OCaml Effects简明教程
+
+ </a>
+ </div>
+
+ <span class="post-date">Feb 28, 2023</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2023/02/26/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E5%85%AD%E6%97%A5/">
二零二三年二月二十六日
@@ -255,6 +280,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/index.html b/archives/index.html
index d7b488e1..43ad6bca 100644
--- a/archives/index.html
+++ b/archives/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -84,8 +91,8 @@
- <li class="menu-item menu-item-active">
- <a href="/archives/">归档</a>
+ <li class="menu-item">
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -123,6 +130,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2023/02/28/OCaml-Effects%E7%AE%80%E6%98%8E%E6%95%99%E7%A8%8B/">
+
+ OCaml Effects简明教程
+
+ </a>
+ </div>
+
+ <span class="post-date">Feb 28, 2023</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2023/02/26/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E4%BA%8C%E6%9C%88%E4%BA%8C%E5%8D%81%E5%85%AD%E6%97%A5/">
二零二三年二月二十六日
@@ -280,24 +305,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2022/10/01/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%BA%8C%E5%B9%B4%E5%8D%81%E6%9C%88%E4%B8%80%E6%97%A5/">
-
- 二零二二年十月一日
-
- </a>
- </div>
-
- <span class="post-date">Oct 1, 2022</span>
- </div>
-
-
<div id="paginator">
<div class=paginator>
@@ -318,6 +325,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/page/2/index.html b/archives/page/2/index.html
index 4910b508..7970bcd1 100644
--- a/archives/page/2/index.html
+++ b/archives/page/2/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -123,6 +130,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2022/10/01/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%BA%8C%E5%B9%B4%E5%8D%81%E6%9C%88%E4%B8%80%E6%97%A5/">
+
+ 二零二二年十月一日
+
+ </a>
+ </div>
+
+ <span class="post-date">Oct 1, 2022</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2022/09/22/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%BA%8C%E5%B9%B4%E4%B9%9D%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%8C%E6%97%A5/">
二零二二年九月二十二日
@@ -282,24 +307,6 @@
</div>
-
-
-
-
-
- <div class="post-list-item">
- <div class="post-title">
- <a href="/2020/12/09/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E9%9B%B6%E5%B9%B4%E5%8D%81%E4%BA%8C%E6%9C%88%E4%B9%9D%E6%97%A5/">
-
- 二零二零年十二月九日
-
- </a>
- </div>
-
- <span class="post-date">Dec 9, 2020</span>
- </div>
-
-
<div id="paginator">
<div class=paginator>
@@ -320,6 +327,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/archives/page/3/index.html b/archives/page/3/index.html
index 299dfc0f..be1baa36 100644
--- a/archives/page/3/index.html
+++ b/archives/page/3/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -123,6 +130,24 @@
<div class="post-list-item">
<div class="post-title">
+ <a href="/2020/12/09/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E9%9B%B6%E5%B9%B4%E5%8D%81%E4%BA%8C%E6%9C%88%E4%B9%9D%E6%97%A5/">
+
+ 二零二零年十二月九日
+
+ </a>
+ </div>
+
+ <span class="post-date">Dec 9, 2020</span>
+ </div>
+
+
+
+
+
+
+
+ <div class="post-list-item">
+ <div class="post-title">
<a href="/2020/12/08/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E9%9B%B6%E5%B9%B4%E5%8D%81%E4%BA%8C%E6%9C%88%E5%85%AB%E6%97%A5/">
二零二零年十二月八日
@@ -154,6 +179,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/categories/gallery/index.html b/categories/gallery/index.html
index 2e234d1e..e56010f3 100644
--- a/categories/gallery/index.html
+++ b/categories/gallery/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -379,6 +386,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/categories/gallery/page/2/index.html b/categories/gallery/page/2/index.html
index dd6f9ad2..16058430 100644
--- a/categories/gallery/page/2/index.html
+++ b/categories/gallery/page/2/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -379,6 +386,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/categories/gallery/page/3/index.html b/categories/gallery/page/3/index.html
index bebc8503..3a84cfa6 100644
--- a/categories/gallery/page/3/index.html
+++ b/categories/gallery/page/3/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -163,6 +170,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/index.html b/index.html
index c7c0498b..10c87e40 100644
--- a/index.html
+++ b/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -126,7 +133,11 @@
</div>
<div class="profile-link">
- <a href="/archives/">技术博客</a>
+ <a href="/archives/">归档</a>
+ </div>
+
+ <div class="profile-link">
+ <a href="/tags/Technique/">技术文章</a>
</div>
<div class="profile-link">
@@ -148,6 +159,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/page/2/index.html b/page/2/index.html
index bd9843fe..fd4738bf 100644
--- a/page/2/index.html
+++ b/page/2/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -126,7 +133,11 @@
</div>
<div class="profile-link">
- <a href="/archives/">技术博客</a>
+ <a href="/archives/">归档</a>
+ </div>
+
+ <div class="profile-link">
+ <a href="/tags/Technique/">技术文章</a>
</div>
<div class="profile-link">
@@ -148,6 +159,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/page/3/index.html b/page/3/index.html
index bd9843fe..fd4738bf 100644
--- a/page/3/index.html
+++ b/page/3/index.html
@@ -48,13 +48,20 @@
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
- <meta name="generator" content="Hexo 6.3.0"></head>
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
<body>
<div class="mask-border">
</div>
@@ -85,7 +92,7 @@
<li class="menu-item">
- <a href="/archives/">归档</a>
+ <a href="/tags/Technique/">技术文章</a>
</li>
@@ -126,7 +133,11 @@
</div>
<div class="profile-link">
- <a href="/archives/">技术博客</a>
+ <a href="/archives/">归档</a>
+ </div>
+
+ <div class="profile-link">
+ <a href="/tags/Technique/">技术文章</a>
</div>
<div class="profile-link">
@@ -148,6 +159,8 @@
<div class="footer-text">
+ |
+
希望路过的人可以添点柴火让这里暖和点
diff --git a/tag/index.html b/tag/index.html
new file mode 100644
index 00000000..131be568
--- /dev/null
+++ b/tag/index.html
@@ -0,0 +1,169 @@
+<!DOCTYPE html>
+<html lang="en">
+ <head>
+ <meta charset="UTF-8">
+<meta name="viewport"
+ content="width=device-width, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0">
+<meta http-equiv="X-UA-Compatible" content="ie=edge">
+
+ <meta name="author" content="含暮秋">
+
+
+ <meta name="subtitle" content="暮秋小屋">
+
+
+ <meta name="description" content="不卑不亢的码农, 朴素的民谣诗人">
+
+
+ <meta name="keywords" content="韩暮秋,MuqiuHan">
+
+
+
+
+<title>&#39;tag&#39; | 暮秋小屋</title>
+
+
+
+
+
+<style>
+ @import url('https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700&family=Noto+Sans+SC:wght@300;400;500;700&family=Roboto+Mono&display=swap');
+</style>
+
+
+
+ <!-- stylesheets list from _config.yml -->
+
+ <link rel="stylesheet" href="/css/style.css">
+
+
+
+
+
+ <!-- scripts list from _config.yml -->
+
+ <script src="/js/frame.js"></script>
+
+
+
+
+
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
+
+
+
+
+
+
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
+ <body>
+ <div class="mask-border">
+ </div>
+
+ <div class="wrapper">
+
+ <div class="header">
+ <div class="flex-container">
+ <div class="header-inner">
+ <div class="site-brand-container">
+ <a href="/">
+
+ 暮秋小屋
+
+ </a>
+ </div>
+ <div id="menu-btn" class="menu-btn" onclick="toggleMenu()">
+ Menu
+ </div>
+ <nav class="site-nav">
+ <ul class="menu-list">
+
+
+ <li class="menu-item">
+ <a href="/">主页</a>
+ </li>
+
+
+
+ <li class="menu-item">
+ <a href="/tags/Technique/">技术文章</a>
+ </li>
+
+
+
+ <li class="menu-item">
+ <a href="/categories/gallery/">日记本</a>
+ </li>
+
+
+
+ <li class="menu-item">
+ <a href="/about">关于</a>
+ </li>
+
+
+
+ </ul>
+ </nav>
+ </div>
+ </div>
+</div>
+
+
+ <div class="main">
+ <div class="flex-container">
+ <div id="tag">
+
+
+ <p class="tag-title">/ tags /</p>
+ <div class="tag-cloud">
+ <div class="tag-list">
+
+ <span class="post-tag">
+ <a href="/tags/OCaml/">
+ OCaml
+ </a>
+ </span>
+
+ <span class="post-tag">
+ <a href="/tags/Technique/">
+ Technique
+ </a>
+ </span>
+
+ </div>
+</div>
+
+
+
+</div>
+ </div>
+ </div>
+
+ <div class="footer">
+ <div class="flex-container">
+ <div class="footer-text">
+
+
+ |
+
+
+ 希望路过的人可以添点柴火让这里暖和点
+
+ </div>
+ </div>
+</div>
+
+ </div>
+
+
+
+
+ </body>
+</html>
diff --git a/tags/OCaml/index.html b/tags/OCaml/index.html
new file mode 100644
index 00000000..927ffe70
--- /dev/null
+++ b/tags/OCaml/index.html
@@ -0,0 +1,183 @@
+<!DOCTYPE html>
+<html lang="en">
+ <head>
+ <meta charset="UTF-8">
+<meta name="viewport"
+ content="width=device-width, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0">
+<meta http-equiv="X-UA-Compatible" content="ie=edge">
+
+ <meta name="author" content="含暮秋">
+
+
+ <meta name="subtitle" content="暮秋小屋">
+
+
+ <meta name="description" content="不卑不亢的码农, 朴素的民谣诗人">
+
+
+ <meta name="keywords" content="韩暮秋,MuqiuHan">
+
+
+
+
+<title>Tag: OCaml | 暮秋小屋</title>
+
+
+
+
+
+<style>
+ @import url('https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700&family=Noto+Sans+SC:wght@300;400;500;700&family=Roboto+Mono&display=swap');
+</style>
+
+
+
+ <!-- stylesheets list from _config.yml -->
+
+ <link rel="stylesheet" href="/css/style.css">
+
+
+
+
+
+ <!-- scripts list from _config.yml -->
+
+ <script src="/js/frame.js"></script>
+
+
+
+
+
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
+
+
+
+
+
+
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
+ <body>
+ <div class="mask-border">
+ </div>
+
+ <div class="wrapper">
+
+ <div class="header">
+ <div class="flex-container">
+ <div class="header-inner">
+ <div class="site-brand-container">
+ <a href="/">
+
+ 暮秋小屋
+
+ </a>
+ </div>
+ <div id="menu-btn" class="menu-btn" onclick="toggleMenu()">
+ Menu
+ </div>
+ <nav class="site-nav">
+ <ul class="menu-list">
+
+
+ <li class="menu-item">
+ <a href="/">主页</a>
+ </li>
+
+
+
+ <li class="menu-item">
+ <a href="/tags/Technique/">技术文章</a>
+ </li>
+
+
+
+ <li class="menu-item">
+ <a href="/categories/gallery/">日记本</a>
+ </li>
+
+
+
+ <li class="menu-item">
+ <a href="/about">关于</a>
+ </li>
+
+
+
+ </ul>
+ </nav>
+ </div>
+ </div>
+</div>
+
+
+ <div class="main">
+ <div class="flex-container">
+ <div id="tag">
+
+
+ <p class="tag-title">
+ / <a href="/tag/">tags</a>
+ / <a href="">OCaml</a> /
+ </p>
+ <div class="post-list">
+
+
+
+
+
+
+ <div class="year-title">2023</div>
+
+
+ <div class="post-list-item">
+ <div class="post-title">
+ <a href="/2023/02/28/OCaml-Effects%E7%AE%80%E6%98%8E%E6%95%99%E7%A8%8B/">
+
+ OCaml Effects简明教程
+
+ </a>
+ </div>
+
+ <span class="post-date">Feb 28, 2023</span>
+ </div>
+
+
+ <div id="paginator">
+
+ </div>
+</div>
+
+
+
+
+</div>
+ </div>
+ </div>
+
+ <div class="footer">
+ <div class="flex-container">
+ <div class="footer-text">
+
+
+ |
+
+
+ 希望路过的人可以添点柴火让这里暖和点
+
+ </div>
+ </div>
+</div>
+
+ </div>
+
+
+
+
+ </body>
+</html>
diff --git a/tags/Technique/index.html b/tags/Technique/index.html
new file mode 100644
index 00000000..7fba43c2
--- /dev/null
+++ b/tags/Technique/index.html
@@ -0,0 +1,183 @@
+<!DOCTYPE html>
+<html lang="en">
+ <head>
+ <meta charset="UTF-8">
+<meta name="viewport"
+ content="width=device-width, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0">
+<meta http-equiv="X-UA-Compatible" content="ie=edge">
+
+ <meta name="author" content="含暮秋">
+
+
+ <meta name="subtitle" content="暮秋小屋">
+
+
+ <meta name="description" content="不卑不亢的码农, 朴素的民谣诗人">
+
+
+ <meta name="keywords" content="韩暮秋,MuqiuHan">
+
+
+
+
+<title>Tag: Technique | 暮秋小屋</title>
+
+
+
+
+
+<style>
+ @import url('https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700&family=Noto+Sans+SC:wght@300;400;500;700&family=Roboto+Mono&display=swap');
+</style>
+
+
+
+ <!-- stylesheets list from _config.yml -->
+
+ <link rel="stylesheet" href="/css/style.css">
+
+
+
+
+
+ <!-- scripts list from _config.yml -->
+
+ <script src="/js/frame.js"></script>
+
+
+
+
+
+ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+ <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
+
+
+
+
+
+
+
+ <!-- hexo injector head_end start -->
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css">
+
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/style.css">
+<!-- hexo injector head_end end --><meta name="generator" content="Hexo 6.3.0"></head>
+ <body>
+ <div class="mask-border">
+ </div>
+
+ <div class="wrapper">
+
+ <div class="header">
+ <div class="flex-container">
+ <div class="header-inner">
+ <div class="site-brand-container">
+ <a href="/">
+
+ 暮秋小屋
+
+ </a>
+ </div>
+ <div id="menu-btn" class="menu-btn" onclick="toggleMenu()">
+ Menu
+ </div>
+ <nav class="site-nav">
+ <ul class="menu-list">
+
+
+ <li class="menu-item">
+ <a href="/">主页</a>
+ </li>
+
+
+
+ <li class="menu-item menu-item-active">
+ <a href="/tags/Technique/">技术文章</a>
+ </li>
+
+
+
+ <li class="menu-item">
+ <a href="/categories/gallery/">日记本</a>
+ </li>
+
+
+
+ <li class="menu-item">
+ <a href="/about">关于</a>
+ </li>
+
+
+
+ </ul>
+ </nav>
+ </div>
+ </div>
+</div>
+
+
+ <div class="main">
+ <div class="flex-container">
+ <div id="tag">
+
+
+ <p class="tag-title">
+ / <a href="/tag/">tags</a>
+ / <a href="">Technique</a> /
+ </p>
+ <div class="post-list">
+
+
+
+
+
+
+ <div class="year-title">2023</div>
+
+
+ <div class="post-list-item">
+ <div class="post-title">
+ <a href="/2023/02/28/OCaml-Effects%E7%AE%80%E6%98%8E%E6%95%99%E7%A8%8B/">
+
+ OCaml Effects简明教程
+
+ </a>
+ </div>
+
+ <span class="post-date">Feb 28, 2023</span>
+ </div>
+
+
+ <div id="paginator">
+
+ </div>
+</div>
+
+
+
+
+</div>
+ </div>
+ </div>
+
+ <div class="footer">
+ <div class="flex-container">
+ <div class="footer-text">
+
+
+ |
+
+
+ 希望路过的人可以添点柴火让这里暖和点
+
+ </div>
+ </div>
+</div>
+
+ </div>
+
+
+
+
+ </body>
+</html>