मुख्य सामग्री पर जाएँ
buildradar
Sign in

plfa/plfa.github.io

@plfa

Agda में प्रोग्रामिंग भाषा सिद्धांत का परिचय

स्टार
1,514
फ़ोर्क
353
भाषा
Agda
लाइसेंस
CC-BY-4.0
आख़िरी push
6 दिन पहले
Agdaproof-assistantbookprogramming-languages

अभी कोई संबंधित intel नहीं

यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।