2
Agda और इदरिस के बीच अंतर
मैं भरोसेमंद रूप से टाइप किए गए प्रोग्रामिंग में गोता लगाना शुरू कर रहा हूं और पाया है कि एजडा और इडरिस भाषा हास्केल के सबसे करीब हैं, इसलिए मैंने वहां शुरू किया। मेरा प्रश्न है: उनके बीच मुख्य अंतर क्या हैं? क्या टाइप सिस्टम दोनों में समान रूप से …
165
agda
type-theory
idris