返回工具页/返回 Issues 列表

#793·Bend

bend.ts 接受 Lean kernel 拒绝的书籍: base-file 中包含对后期填充的法则的引用,以及非树体

作者: docxology创建于 2026年9月18日更新于 2026年9月18日

摘要

内容来源: HigherOrderCO/Bend

查看 GitHub 原文在 GitHub 查看讨论