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