Ito ang Linux app na pinangalanang Agda na ang pinakabagong release ay maaaring ma-download bilang Agda-v2.8.0-win64.zip. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang Agda na may OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
MGA SCREENSHOT:
Agda
DESCRIPTION:
Ang Agda ay isang dependently type, total functional programming language at interactive theorem prover batay sa type theory ni Martin-Löf. Pinapayagan nito ang pagpapahayag ng mga programa at patunay sa parehong wika, gamit ang Curry–Howard na sulat. Nagtatampok ito ng interactive na pag-unlad sa pamamagitan ng Emacs, Atom, o VS Code.
Mga tampok
- Dependently type na wika na nagpapagana ng pag-encode ng mga patunay bilang mga uri
- Pagsusuri sa kabuuan at pagwawakas upang matiyak ang pagkakapare-pareho
- Interactive proof development na may mga metavariable at Emacs/Vim/VS Code integration
- Ang suporta sa Unicode at syntax na nakapagpapaalaala sa Haskell
- Karaniwang library na naglalaman ng mga kahulugan para sa mga pangunahing istruktura ng data at mga patunay
- Mga backend kasama ang MAlonzo (Haskell) at JavaScript para sa mga target ng compilation
Wika ng Programming
Haskell
Kategorya
Ito ay isang application na maaari ding makuha mula sa https://sourceforge.net/projects/agda.mirror/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.