Agda 1 1.0.2

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara

Tentang Agda 1

Agda adalah sistem untuk mengembangkan bukti dan program secara bertahap. Ini adalah proyek sourceforge untuk Agda sebelumnya (Agda 1). Versi Agda (Agda 2) yang lebih baru dalam pengujian beta tersedia dari: http://wiki.portal.chalmers.se/agda/