idris-lang/Idris2
@idris-langBahasa pemrograman fungsional murni dengan tipe data kelas satu
Bintang
3.052
Fork
418
Bahasa
Idris
Lisensi
NOASSERTION
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.