ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ Agda ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ Agda-v2.8.0-win64.zip. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີສໍາລັບບ່ອນເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ Agda ກັບ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ OnWorks Linux ອອນລາຍ ຫຼື Windows online emulator ຫຼື MACOS online emulator ຈາກເວັບໄຊທ໌ນີ້.
- 5. ຈາກ OnWorks Linux OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກ, ຕິດຕັ້ງມັນແລະດໍາເນີນການ.
ພາບຫນ້າຈໍ:
ອາກດາ
DESCRIPTION:
Agda ແມ່ນພາສາການຂຽນໂປລແກລມທີ່ເຮັດວຽກທັງຫມົດແລະແບບໂຕ້ຕອບໂດຍອີງຕາມທິດສະດີປະເພດ Martin-Löf. ມັນອະນຸຍາດໃຫ້ສະແດງໂປຼແກຼມ ແລະຫຼັກຖານໃນພາສາດຽວກັນ, ໂດຍໃຊ້ການຕອບໂຕ້ Curry-Howard. ມັນມີການພັດທະນາແບບໂຕ້ຕອບຜ່ານ Emacs, Atom, ຫຼື VS Code.
ຄຸນລັກສະນະ
- ພາສາທີ່ພິມໂດຍອີງໃສ່ເຮັດໃຫ້ການເຂົ້າລະຫັດຂອງຫຼັກຖານສະແດງເປັນປະເພດ
- ການກວດສອບຈໍານວນທັງຫມົດແລະການຢຸດເຊົາເພື່ອຮັບປະກັນຄວາມສອດຄ່ອງ
- ການພັດທະນາຫຼັກຖານໂຕ້ຕອບທີ່ມີ metavariables ແລະການເຊື່ອມໂຍງ Emacs/Vim/VS Code
- ສະຫນັບສະຫນູນ Unicode ແລະ syntax reminiscent ຂອງ Haskell
- ຫ້ອງສະຫມຸດມາດຕະຖານປະກອບດ້ວຍຄໍານິຍາມສໍາລັບໂຄງສ້າງຂໍ້ມູນຫຼັກແລະຫຼັກຖານສະແດງ
- Backends ລວມທັງ MAlonzo (Haskell) ແລະ JavaScript ສໍາລັບເປົ້າຫມາຍການລວບລວມ
ພາສາການຂຽນໂປຣແກຣມ
Haskell
ປະເພດ
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/agda.mirror/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ດ້ວຍວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.