主题索引[#4]

  • Grove文档：.plant源码、命令、Scheme求值、tree身份与内容组合。
  • 数学语言：Formula、Semantic与Notation表示，构造、计算、推导和关系查询。
  • 文学编程：从文章中的可执行定义到可复用片段、程序装配和元循环解释器。
  • 英语写作：Strunk与White的The Elements of Style第四版中文翻译。
  • 计算流体力学：Blazek的Computational Fluid Dynamics第二版双语翻译（试点：前置材料与第1–2章）。