idris

140गर्मी

2उत्तर

एग्डा और इडिस के बीच मतभेद

मैं निर्भर रूप से टाइप किए गए प्रोग्रामिंग में गोता लगाने शुरू कर रहा हूं और पाया है कि आगाडा और इडिस भाषा हास्केल के सबसे नज़दीकी हैं, इसलिए मैंने वहां शुरुआत की। मेरा प्रश्न है: उनके बीच मुख्य अंतर

agda type-theory idris 2012-02-27

---