.NOQ 文件扩展名
Noq源代码
| 开发者 | Tsoding |
| 受欢迎程度 |
1.0 | 1 票 |
什么是 NOQ 文件？
NOQ文件包含使用Noq编程语言编写的源代码。它用于使用文件中定义的规则转换代数表达式。
更多信息
开发者兼Twitch主播Tsoding受到Coq证明管理系统的启发，创建了Noq（Not Coq）编程语言和表达式转换器。使用Noq语言，开发者可以编写并按顺序应用转换代数表达式的规则。这些规则以及应用规则的顺序会保存到NOQ文件中。
当开发者使用Noq表达式转换器运行NOQ文件时，程序会按照文件中列出的顺序，将文件包含的转换规则应用于其中包含的表达式。这样会生成转换后的表达式。
如何打开 NOQ 文件
你可以使用任何文本编辑器或源代码编辑器打开和编辑NOQ文件，例如Microsoft Visual Studio Code（跨平台）、GNU Emacs（跨平台）或GitHub Atom（跨平台）。
你可以使用Noq（跨平台）运行NOQ文件包含的程序。
可打开 NOQ 文件的程序
Windows
Mac
Linux