.NOQ Extensão de arquivo
Código-fonte Noq
| Desenvolvedor | Tsoding |
| Popularidade |
1,0 | 1 Voto |
O que é um arquivo NOQ?
Um arquivo NOQ contém código-fonte escrito na linguagem de programação Noq. Ele é usado para transformar uma expressão algébrica usando regras definidas no arquivo.
Mais informações
Inspirado no sistema de gerenciamento de provas Coq, o desenvolvedor e streamer da Twitch Tsoding criou a linguagem de programação Noq (Not Coq) e o transformador de expressões. Usando a linguagem Noq, os desenvolvedores podem escrever e aplicar sequencialmente regras que transformam uma expressão algébrica. Essas regras e a sequência em que são aplicadas são salvas em arquivos NOQ.
Quando um desenvolvedor executa um arquivo NOQ usando o transformador de expressões Noq, o programa aplica as regras de transformação que o arquivo contém à expressão nele contida, na ordem listada no arquivo. Isso produz uma expressão transformada.
Como abrir um arquivo NOQ
Você pode abrir e editar um arquivo NOQ em qualquer editor de texto ou editor de código-fonte, como o Microsoft Visual Studio Code (multiplataforma), o GNU Emacs (multiplataforma) ou o GitHub Atom (multiplataforma).
Você pode executar o programa que um arquivo NOQ contém usando o Noq (multiplataforma).