待办事项

约 82 个字

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

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

评论