Repositori open source terpantau milik idris-lang, diurutkan berdasarkan bintang.
Bahasa pemrograman fungsional murni dengan tipe data kelas satu
