Ubuntu Online, Fedora Online, Windows online emulator അല്ലെങ്കിൽ MAC OS ഓൺലൈൻ എമുലേറ്റർ എന്നിങ്ങനെയുള്ള ഞങ്ങളുടെ ഒന്നിലധികം സൗജന്യ ഓൺലൈൻ വർക്ക്സ്റ്റേഷനുകളിലൊന്ന് ഉപയോഗിച്ച് OnWorks സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവിൽ പ്രവർത്തിപ്പിക്കാവുന്ന coqtop.byte കമാൻഡ് ആണിത്.
പട്ടിക:
NAME
coqtop.byte - കോക് ടോപ്ലെവൽ ബൈറ്റ്കോഡ്
സിനോപ്സിസ്
coqtop.byte [ ഓപ്ഷനുകൾ ] [ ഫയല് ]
വിവരണം
coqopt.byte Coq-ന്റെ ബൈറ്റ്കോഡ് പതിപ്പാണ്. ഇത് നേരിട്ട് വിളിക്കരുത്, മറിച്ച് വഴി മാത്രം
കോക്ടോപ്പ് ഒപ്പം coqc
onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് coqtop.byte ഓൺലൈനായി ഉപയോഗിക്കുക
