Noq Source Code
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.
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.