diff options
Diffstat (limited to '2023/08/15')
3 files changed, 39 insertions, 3 deletions
diff --git a/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/index.html b/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/index.html index ba1f8fef..ac39ecea 100644 --- a/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/index.html +++ b/2023/08/15/Typed-Design-Patterns-for-the-Functional-Era/index.html @@ -98,7 +98,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> diff --git a/2023/08/15/poll-error-attribute-in-OCaml/index.html b/2023/08/15/poll-error-attribute-in-OCaml/index.html index 9d8a05ee..58111a05 100644 --- a/2023/08/15/poll-error-attribute-in-OCaml/index.html +++ b/2023/08/15/poll-error-attribute-in-OCaml/index.html @@ -98,7 +98,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> diff --git a/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html b/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html index d4199358..f540f2cc 100644 --- a/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html +++ b/2023/08/15/tick-thread在Multicore-OCaml中的作用/index.html @@ -98,7 +98,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> |