.NOQ Estensione file
Codice sorgente Noq
| Sviluppatore | Tsoding |
| Popolarità |
1,0 | 1 Voto |
Che cos'è un file NOQ?
Un file NOQ contiene codice sorgente scritto nel linguaggio di programmazione Noq. Viene utilizzato per trasformare un'espressione algebrica usando regole definite nel file.
Maggiori informazioni
Ispirandosi al sistema di gestione delle dimostrazioni Coq, lo sviluppatore e streamer di Twitch Tsoding ha creato il linguaggio di programmazione Noq (Not Coq) e il relativo trasformatore di espressioni. Usando il linguaggio Noq, gli sviluppatori possono scrivere e applicare in sequenza regole che trasformano un'espressione algebrica. Queste regole e l'ordine in cui vengono applicate vengono salvati nei file NOQ.
Quando uno sviluppatore esegue un file NOQ usando il trasformatore di espressioni Noq, il programma applica le regole di trasformazione contenute nel file all'espressione che contiene, nell'ordine elencato nel file. In questo modo produce un'espressione trasformata.
Come aprire un file NOQ
Puoi aprire e modificare un file NOQ in qualsiasi editor di testo o editor di codice sorgente, come Microsoft Visual Studio Code (multipiattaforma), GNU Emacs (multipiattaforma) o GitHub Atom (multipiattaforma).
Puoi eseguire il programma contenuto in un file NOQ usando Noq (multipiattaforma).