Artikel dalam Kategori: Agda: Bahasa Pemrograman Fungsional dan Sistem Pembuktian Formal

27 August 2025

Agda adalah bahasa pemrograman fungsional yang juga berfungsi sebagai sistem pembuktian formal. Dir...