Agda 1 1.0.2
Lesen: Percuma Saiz fail: N/A
Penarafan Pengguna: 5.0/5 - 1 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang Agda 1
Agda adalah satu sistem untuk membangunkan bukti dan program secara tambahan. Ini adalah projek sourceforge untuk Agda SEBELUMnya (Agda 1). Versi baru Agda (Agda 2) dalam ujian beta boleh didapati dari: http://wiki.portal.chalmers.se/agda/