.NOQ Přípona souboru

Noq Source Code

Vývojář	Tsoding
Popularita	1.0 \| 1 Hlas

Co je soubor 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.

Další informace

Snímek obrazovky souboru .noq v Microsoft Visual Studio Code — Soubor NOQ otevřený v Microsoft Visual Studio Code

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 otevřít soubor 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).