diff options
Diffstat (limited to '2023/02/28/OCaml-Effects简明教程/index.html')
| -rw-r--r-- | 2023/02/28/OCaml-Effects简明教程/index.html | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/2023/02/28/OCaml-Effects简明教程/index.html b/2023/02/28/OCaml-Effects简明教程/index.html index 04e78822..8890e437 100644 --- a/2023/02/28/OCaml-Effects简明教程/index.html +++ b/2023/02/28/OCaml-Effects简明教程/index.html @@ -92,7 +92,19 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术文章</a> + <a href="/tags/Technique/">技术</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Medicine/">医学</a> + </li> + + + + <li class="menu-item"> + <a href="/tags/Life/">生活</a> </li> @@ -169,6 +181,11 @@ <nav class="post-nav"> <div class="prev-item"> + <div class="icon arrow-left"></div> + <div class="post-link"> + <a href="/2023/03/01/%E7%BA%AF%E7%89%9B%E5%A5%B6%E5%8F%AF%E4%BB%A5%E5%8A%A0%E7%82%B9%E5%95%A5/">Prev</a> + </div> + </div> <div class="next-item"> |