Bu, en son sürümü v2.3sourcecode.tar.gz olarak indirilebilen Agda standart kütüphanesi 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.
The Agda standard library with OnWorks adlı 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
Ad
Agda standart kütüphanesi
AÇIKLAMA
Standart kütüphane, hem programları hem de kanıtları kolayca yazmak için gereken tüm araçları içermeyi amaçlamaktadır. Her zaman verimli kod yazmaya çalışsak da, tür denetimi ve normalizasyon performansından ziyade kanıtlama kolaylığına öncelik veriyoruz. Hesaplama performansı sizin için önemliyse, belki de agda-prelude'u deneyebilirsiniz. Agda, bağımlı türlendirilmiş bir programlama dilidir. Martin-Löf'ün tür teorisinin bir uzantısıdır ve Chalmers'daki programlama mantığı grubunda geliştirilen diller geleneğinin en yenisidir. Bu gelenekteki diğer diller Alf, Alfa, Agda 1 ve Cayenne'dir. Diğer bazı gevşek ilişkili diller ise Coq, Epigram, Idris ve Lean'dir.
Özellikler
- Bayraklarla tip denetimi
- Mevcut belgeler
- Örnekler ve belgeler
- Emacs modunu kitaplıkla birlikte kullanılmak üzere ayarlayın
- Agda, matematiksel teoremleri kanıtlamaya olanak tanıyan bir kanıt yardımcısı olarak kullanılabilir
- Bu tür kanıtları algoritmalar olarak çalıştırın
Kategoriler
Bu uygulama, https://sourceforge.net/projects/the-agda-standard-lib.mirror/ adresinden de indirilebilir. Ücretsiz İşletim Sistemlerimizden biri üzerinden çevrimiçi olarak en kolay şekilde çalıştırılabilmesi için OnWorks'te barındırılmıştır.
