.NOQ Rozszerzenie pliku
Noq Source Code
| Deweloper | Tsoding |
| Popularność |
1.0 | 1 Głos |
Czym jest plik NOQ?
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.
Więcej informacji
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.
Jak otworzyć plik NOQ
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).