agda
-
dependent typelar iceren, nefis bir emacs moduna sahip bir programlama dili. sentaksinda unicode karakterleri destekler.
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap