待办事项

:material-circle-edit-outline: 约 82 个字 :material-clock-time-two-outline: 预计阅读时间不到 1 分钟

别的坑基本上都已经丢到对应的模块上去了，这里主要是建站相关：

• 写一下 Lean 4 对应的 Linter
• 字数统计功能加入
• 研究一下 statistics 插件里面好像有一个在某些页面不显示统计信息的奇怪问题

评论