.NOQ Rozszerzenie pliku
Kod źródłowy Noq
| Deweloper | Tsoding |
| Popularność |
1,0 | 1 Głos |
Czym jest plik NOQ?
Plik NOQ zawiera kod źródłowy napisany w języku programowania Noq. Służy do przekształcania wyrażenia algebraicznego za pomocą reguł zdefiniowanych w pliku.
Więcej informacji
Zainspirowany systemem zarządzania dowodami Coq, programista i streamer na Twitchu Tsoding stworzył język programowania Noq (Not Coq) oraz narzędzie do przekształcania wyrażeń. Za pomocą języka Noq programiści mogą pisać i sekwencyjnie stosować reguły przekształcające wyrażenie algebraiczne. Reguły te oraz kolejność ich stosowania są zapisywane w plikach NOQ.
Gdy programista uruchamia plik NOQ za pomocą narzędzia Noq do przekształcania wyrażeń, program stosuje zawarte w pliku reguły przekształcania do zawartego w nim wyrażenia, w kolejności wymienionej w pliku. W wyniku tego powstaje przekształcone wyrażenie.
Jak otworzyć plik NOQ
Plik NOQ można otworzyć i edytować w dowolnym edytorze tekstu lub edytorze kodu źródłowego, takim jak Microsoft Visual Studio Code (wieloplatformowy), GNU Emacs (wieloplatformowy) lub GitHub Atom (wieloplatformowy).
Program zawarty w pliku NOQ można uruchomić za pomocą Noq (wieloplatformowy).