diff options
Diffstat (limited to '2023/06/28')
| -rw-r--r-- | 2023/06/28/caml-release-runtime-system导致的死锁问题/index.html | 4 | ||||
| -rw-r--r-- | 2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html b/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html index 2222560a..804db712 100644 --- a/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html +++ b/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html @@ -92,13 +92,13 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/categories/gallery/">日记本</a> </li> <li class="menu-item"> - <a href="/categories/gallery/">日记本</a> + <a href="/tags/Technique/">技术</a> </li> diff --git a/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html b/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html index a873a181..6ad67363 100644 --- a/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html +++ b/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html @@ -92,13 +92,13 @@ <li class="menu-item"> - <a href="/tags/Technique/">技术</a> + <a href="/categories/gallery/">日记本</a> </li> <li class="menu-item"> - <a href="/categories/gallery/">日记本</a> + <a href="/tags/Technique/">技术</a> </li> |