plfa/plfa.github.io
@plfaPengantar teori bahasa pemrograman di Agda
Bintang
1.514
Fork
353
Bahasa
Agda
Lisensi
CC-BY-4.0
Push terakhir
1 minggu yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.