Bu, en son sürümü Agda-v2.8.0-win64.zip olarak indirilebilen Agda adlı Windows uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
Agda with OnWorks isimli bu uygulamayı ücretsiz olarak çevrimiçi indirin ve ç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 herhangi bir OS OnWorks çevrimiçi öykünücüsünü başlatın, ancak daha iyi Windows çevrimiçi öykünücüsü.
- 5. Yeni başlattığınız OnWorks Windows işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin ve kurun.
- 7. Wine'ı Linux dağıtımları yazılım havuzlarınızdan indirin. Kurulduktan sonra, Wine ile çalıştırmak için uygulamaya çift tıklayabilirsiniz. Ayrıca, popüler Windows programlarını ve oyunlarını yüklemenize yardımcı olacak Wine üzerinden gösterişli bir arayüz olan PlayOnLinux'u da deneyebilirsiniz.
Wine, Windows yazılımını Linux üzerinde çalıştırmanın bir yoludur, ancak Windows gerektirmez. Wine, Windows programlarını doğrudan herhangi bir Linux masaüstünde çalıştırabilen açık kaynaklı bir Windows uyumluluk katmanıdır. Esasen Wine, Windows'a ihtiyaç duymadan tüm bu Windows uygulamalarını çalıştırabilmesi için yeterince Windows'u sıfırdan yeniden uygulamaya çalışıyor.
EKRAN GÖRÜNTÜLERİ:
Ağda
AÇIKLAMA:
Agda, Martin-Löf'ün tip teorisine dayanan, bağımlı tipli, tam fonksiyonel bir programlama dili ve etkileşimli teorem ispatlayıcısıdır. Curry-Howard yazışmasını kullanarak programları ve ispatları aynı dilde ifade etmeyi sağlar. Emacs, Atom veya VS Code aracılığıyla etkileşimli geliştirme olanağı sunar.
Özellikler
- Kanıtların tür olarak kodlanmasını sağlayan bağımlı türlendirilmiş dil
- Tutarlılığı sağlamak için bütünlük ve sonlandırma kontrolü
- Metadeğişkenler ve Emacs/Vim/VS Code entegrasyonu ile etkileşimli kanıt geliştirme
- Unicode desteği ve Haskell'i anımsatan söz dizimi
- Temel veri yapıları ve kanıtları için tanımlar içeren standart kütüphane
- Derleme hedefleri için MAlonzo (Haskell) ve JavaScript dahil olmak üzere arka uçlar
Programlama dili
Haskell
Kategoriler
Bu uygulama, https://sourceforge.net/projects/agda.mirror/ adresinden de indirilebilir. Ücretsiz İşletim Sistemlerimizden birinden çevrimiçi olarak en kolay şekilde çalıştırılabilmesi için OnWorks'te barındırılmıştır.