diff options
Diffstat (limited to '2023/06/28')
| -rw-r--r-- | 2023/06/28/caml-release-runtime-system导致的死锁问题/index.html | 5 | ||||
| -rw-r--r-- | 2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html | 5 |
2 files changed, 4 insertions, 6 deletions
diff --git a/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html b/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html index 29c43428..36f3b815 100644 --- a/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html +++ b/2023/06/28/caml-release-runtime-system导致的死锁问题/index.html @@ -38,9 +38,8 @@ - - <link rel="preload" href="/fonts/latin-base.woff2" as="font" type="font/woff2" crossorigin> - <link rel="preload" href="/fonts/cjk-common.woff2" as="font" type="font/woff2" crossorigin> + + <link rel="preload" href="/fonts/TensentypeCode.woff2" as="font" type="font/woff2" crossorigin> diff --git a/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html b/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html index 75fee214..ad550e6f 100644 --- a/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html +++ b/2023/06/28/隐藏一些OCaml-Effect的机制，让其语法在精神上更接近delimcc/index.html @@ -38,9 +38,8 @@ - - <link rel="preload" href="/fonts/latin-base.woff2" as="font" type="font/woff2" crossorigin> - <link rel="preload" href="/fonts/cjk-common.woff2" as="font" type="font/woff2" crossorigin> + + <link rel="preload" href="/fonts/TensentypeCode.woff2" as="font" type="font/woff2" crossorigin> |