Dawn Chan

icon indicating a website link https://personal-blog-fzfb.onrender.com/

icon location Wuhan, Hubei Province, China icon location Student from WHU.

Results 3 issues of Dawn Chan

Mermaid支持

1 comment

如题，希望能够增加对Mermaid的主题支持。我尝试了`hexo-filter-mermaid-diagrams`，并没有奏效。

enhancement

Traversal can't change type

1 comment

`modify` and `modifyF` of traversals both cannot change the type of the value. A more general function is needed. ## Scenario For example, I'm building a blog and I have...

Add Lean4 template

Is it possible to add lean4? Thanks!