Bu, en son sürümü agda-1-macosx-ppc.zip olarak indirilebilen Agda 1.0.2 adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
Agda 1 adlı bu uygulamayı OnWorks ile ücretsiz olarak indirin ve çevrimiçi çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
ağda 1
Ad
TANIM
Agda, aşamalı olarak kanıt ve program geliştirmeye yönelik bir sistemdir. Bu, ÖNCEKİ Ağda (Ağda 1) için sourceforge projesidir. Beta testinde Agda'nın (Agda 2) daha yeni bir sürümü şuradan edinilebilir: http://wiki.portal.chalmers.se/agda/
Seyirci
Geliştiriciler, Eğitim, Bilim/Araştırma
Kullanıcı arabirimi
Konsol/Terminal, X Pencere Sistemi (X11)
Programlama dili
Haskell
Bu, https://sourceforge.net/projects/agda/ adresinden de getirilebilecek bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.