प्रोग्रामिंग भाषा · Idris
Idris
ट्रैक की गई वे ओपन सोर्स रिपॉजिटरी जिनकी मुख्य भाषा Idris है, स्टार के हिसाब से क्रमबद्ध।
1 रिपॉजिटरी
- #1Idris2@idris-lang
फर्स्ट-क्लास टाइप्स के साथ एक विशुद्ध रूप से फंक्शनल प्रोग्रामिंग लैंग्वेज।
★ 3,048+5पिछले 7 दिनों में स्टार का बदलाव
