.NOQ File Extension
Noq Source Code
| Developer | Tsoding |
| Popularity |
1.0 | 1 Vote |
What is a NOQ file?
A NOQ file contains source code written in the Noq programming language. It is used to transform an algebraic expression, using rules defined in the file.
More Information
Inspired by the Coq proof management system, developer and Twitch streamer Tsoding created the Noq (Not Coq) programming language and expression transformer. Using the Noq language, developers can write and sequentially apply rules that transform an algebraic expression. These rules, and the sequence in which they are applied, are saved in NOQ files.
When a developer runs a NOQ file using the Noq expression transformer, the program applies the transformation rules the file contains to the expression it contains, in the order listed in the file. This produces a transformed expression.
How to open a NOQ file
You can open and edit a NOQ file in any text editor or source code editor, such as Microsoft Visual Studio Code (multiplatform), GNU Emacs (multiplatform) or GitHub Atom (multiplatform).
You can run the program a NOQ file contains using Noq (multiplatform).