.NOQ Extension de fichier
Noq Source Code
| Développeur | Tsoding |
| Popularité |
1.0 | 1 Vote |
Qu'est-ce qu'un fichier 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.
Plus d'informations
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.
Comment ouvrir un fichier 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).