Bahasa Pemrograman · Idris
Idris
Repositori open source terpantau dengan Idris sebagai bahasa utama, diurutkan berdasarkan bintang.
1 repositori
- #1Idris2@idris-lang
Bahasa pemrograman fungsional murni dengan tipe data kelas satu
★ 3.048+5Perubahan bintang dalam 7 hari terakhir
