查询结果也是教程内容[#123] 上面的模式串、行数、规则卡片和文章内容查询结果都在构建时现场计算。若文章或规则变化,查询结果会随之更新。它展示了Grove的通用写作方式:保留Scheme值与内容树,让renderer负责最终HTML。 从首页回顾全站路线,或打开数学表示层继续实验。