VictorTaelin/Interaction-Calculus
@VictorTaelinएक प्रोग्रामिंग भाषा और कंप्यूटिंग मॉडल जो इष्टतम $\lambda$-कैलकुलस रिडक्शन एल्गोरिदम से पूरी तरह मेल खाता है।
स्टार
948
फ़ोर्क
70
भाषा
C
लाइसेंस
—
आख़िरी push
10 माह पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।