Agda എന്ന് പേരിട്ടിരിക്കുന്ന Linux ആപ്പാണിത്, ഇതിന്റെ ഏറ്റവും പുതിയ പതിപ്പ് Agda-v2.8.0-win64.zip ആയി ഡൗൺലോഡ് ചെയ്യാം. വർക്ക്സ്റ്റേഷനുകൾക്കായുള്ള സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവായ OnWorks-ൽ ഇത് ഓൺലൈനായി പ്രവർത്തിപ്പിക്കാം.
Agda എന്ന് പേരിട്ടിരിക്കുന്ന ഈ ആപ്പ് OnWorks-നൊപ്പം സൗജന്യമായി ഓൺലൈനായി ഡൗൺലോഡ് ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
ഈ ആപ്പ് പ്രവർത്തിപ്പിക്കുന്നതിന് ഈ നിർദ്ദേശങ്ങൾ പാലിക്കുക:
- 1. നിങ്ങളുടെ പിസിയിൽ ഈ ആപ്ലിക്കേഷൻ ഡൗൺലോഡ് ചെയ്തു.
- 2. ഞങ്ങളുടെ ഫയൽ മാനേജറിൽ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിൽ നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമം നൽകുക.
- 3. അത്തരം ഫയൽമാനേജറിൽ ഈ ആപ്ലിക്കേഷൻ അപ്‌ലോഡ് ചെയ്യുക.
- 4. ഈ വെബ്സൈറ്റിൽ നിന്ന് OnWorks Linux ഓൺലൈനോ Windows ഓൺലൈൻ എമുലേറ്ററോ MACOS ഓൺലൈൻ എമുലേറ്ററോ ആരംഭിക്കുക.
- 5. നിങ്ങൾ ഇപ്പോൾ ആരംഭിച്ച OnWorks Linux OS-ൽ നിന്ന്, നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമത്തോടുകൂടിയ ഞങ്ങളുടെ ഫയൽ മാനേജർ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിലേക്ക് പോകുക.
- 6. ആപ്ലിക്കേഷൻ ഡൌൺലോഡ് ചെയ്യുക, അത് ഇൻസ്റ്റാൾ ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
സ്ക്രീൻഷോട്ടുകൾ:
അഗ്ദ
വിവരണം:
മാർട്ടിൻ-ലോഫിന്റെ ടൈപ്പ് സിദ്ധാന്തത്തെ അടിസ്ഥാനമാക്കിയുള്ള ഒരു ആശ്രിതമായി ടൈപ്പ് ചെയ്ത, പൂർണ്ണമായ പ്രവർത്തനക്ഷമമായ പ്രോഗ്രാമിംഗ് ഭാഷയും സംവേദനാത്മക സിദ്ധാന്തവുമാണ് അഗ്ഡ. കറി-ഹോവാർഡ് കത്തിടപാടുകൾ ഉപയോഗിച്ച് ഒരേ ഭാഷയിൽ പ്രോഗ്രാമുകളും തെളിവുകളും പ്രകടിപ്പിക്കാൻ ഇത് അനുവദിക്കുന്നു. ഇമാക്സ്, ആറ്റം അല്ലെങ്കിൽ വിഎസ് കോഡ് വഴിയുള്ള സംവേദനാത്മക വികസനം ഇതിൽ ഉൾപ്പെടുന്നു.
സവിശേഷതകൾ
- പ്രൂഫുകളെ തരങ്ങളായി എൻകോഡ് ചെയ്യാൻ പ്രാപ്തമാക്കുന്ന ആശ്രിത ടൈപ്പ് ചെയ്ത ഭാഷ.
- സ്ഥിരത ഉറപ്പാക്കാൻ ടോട്ടാലിറ്റി, ടെർമിനേഷൻ പരിശോധന.
- മെറ്റാവേരിയബിളുകളും ഇമാക്സ്/വിം/വിഎസ് കോഡ് സംയോജനവും ഉപയോഗിച്ചുള്ള ഇന്ററാക്ടീവ് പ്രൂഫ് വികസനം.
- ഹാസ്കലിനെ അനുസ്മരിപ്പിക്കുന്ന യൂണികോഡ് പിന്തുണയും വാക്യഘടനയും
- കോർ ഡാറ്റാ ഘടനകൾക്കും തെളിവുകൾക്കുമുള്ള നിർവചനങ്ങൾ അടങ്ങിയ സ്റ്റാൻഡേർഡ് ലൈബ്രറി.
- സമാഹരണ ലക്ഷ്യങ്ങൾക്കായി MAlonzo (Haskell), JavaScript എന്നിവയുൾപ്പെടെയുള്ള ബാക്കെൻഡുകൾ.
പ്രോഗ്രാമിംഗ് ഭാഷ
ഹാസ്കെൽ
Categories
ഇത് https://sourceforge.net/projects/agda.mirror/ എന്നതിൽ നിന്നും ലഭിക്കാവുന്ന ഒരു ആപ്ലിക്കേഷനാണ്. ഞങ്ങളുടെ സൗജന്യ ഓപ്പറേറ്റീവ് സിസ്റ്റങ്ങളിൽ ഒന്നിൽ നിന്ന് ഏറ്റവും എളുപ്പമുള്ള രീതിയിൽ ഓൺലൈനിൽ പ്രവർത്തിപ്പിക്കുന്നതിനായി ഇത് OnWorks-ൽ ഹോസ്റ്റ് ചെയ്‌തിരിക്കുന്നു.