代码无法编译,但在在线编辑器中可以运行
作者: ningbio创建于 2025年2月4日更新于 2025年9月28日
**描述错误** 你好,我在 vanilla-js 中使用 3.2.0,注意到在在线编辑器中一切正常运行,但 penRose 无法编译具有 `Number` 参数的任何谓词。我的谓词如下:
内容来源: penrose/penrose
**描述错误** 你好,我在 vanilla-js 中使用 3.2.0,注意到在在线编辑器中一切正常运行,但 penRose 无法编译具有 `Number` 参数的任何谓词。我的谓词如下:
内容来源: penrose/penrose