ນີ້ແມ່ນຄໍາສັ່ງ coqwc ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
coqwc - ພິມຈໍານວນສະເພາະ, ຫຼັກຖານສະແດງແລະຄໍາຄິດຄໍາເຫັນໃນໄຟລ໌ Coq
ສະຫຼຸບສັງລວມ
coqwc [ -p ] [ -s ] [ -r ] [ -e ] ໄຟ ...
ລາຍລະອຽດ
coqwc ຄິດໄລ່ຈໍານວນຂອງເສັ້ນສະເພາະ, ສາຍຫຼັກຖານສະແດງແລະເສັ້ນຄໍາຄິດເຫັນໃນ Coq
ໄຟລ໌.
OPTIONS
-p ພິມສ່ວນຮ້ອຍຂອງຄໍາເຫັນ
-s ພິມພຽງແຕ່ຈໍານວນເສັ້ນສະເພາະ
-r ພິມພຽງແຕ່ຈໍານວນເສັ້ນຫຼັກຖານ
-e ຢ່າຂ້າມສ່ວນຫົວ
ໃຊ້ coqwc ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net
