Aceasta este comanda coqtop.byte care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
coqtop.byte - Codul de octet Coq toplevel
REZUMAT
coqtop.byte [ Opțiuni ] [ fişier ]
DESCRIERE
coqopt.byte este versiunea bytecode a lui Coq. Nu trebuie chemat direct, ci numai de către
coqtop și coqc
Utilizați coqtop.byte online folosind serviciile onworks.net