EnglishFrenchGermanItalianPortugueseRussianSpanish

coqtop.byte - Dalam talian di Awan

OnWorks favicon

Run coqtop.byte in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

Ini ialah arahan coqtop.byte yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.

JADUAL:

NAMA


coqtop.byte - Bytecode Coq peringkat atas

SINOPSIS


coqtop.bait [ pilihan ] [ fail ]

DESCRIPTION


coqopt.byte ialah versi bytecode Coq. Ia tidak sepatutnya dipanggil secara langsung, tetapi hanya oleh
coqtop and coqc

Gunakan coqtop.byte dalam talian menggunakan perkhidmatan onworks.net



Program dalam talian Linux & Windows terkini