主要观点：

• Nova 是一种基于规则的语言家族，旨在易于理解和使用，文中介绍了其最简单版本 Vera 的相关内容。
• 规则可用于为计算机编写规则、描述现实世界等，且一个程序由规则和事实组成，规则左右两侧的事实可相互替换。
• 提供了 Nova Playground 以供尝试，还介绍了学习和使用 Nova 的相关内容，如 yarnstar（IF 引擎）以及 Nova 重写系统的实现列表。

关键信息：

• 文中有关于 Nova 语言的代码示例，如文件首字符分配间隔符等规则。
• 提到了多个相关链接，如 Nova Playground、关于 Vera 的详细解释页面、yarnstar 以及 Nova 重写系统的实现列表。

重要细节：

• 规则中两个间隔符表示创建事实，事实用逗号分隔等。
• 具体的规则和事实示例，如“a flame, a log | a warm fire”等。