मैंने कई कोक रणनीतियां देखी हैं जो फ़ंक्शन में एक-दूसरे को ओवरलैप कर रही हैं। उदाहरण के लिए , आप परिकल्पना में सही निष्कर्ष हो तब आप assumption, apply, exact, trivial, और शायद दूसरों का उपयोग कर सकते
लेफ्टैक में एक जटिल रणनीति को लागू करते समय, कुछ एलटीएसी कमांड या सामरिक आमंत्रण जो मैं विफल होने की उम्मीद करता हूं और जहां इसकी अपेक्षा की जाती है (उदाहरण के लिए repeat को समाप्त करने के लिए, या बैक
मैंने पढ़ा है कि एक प्रकार के लिए प्रेरण सिद्धांत सिर्फ P प्रस्ताव के बारे में एक प्रमेय है। इसलिए मैंने दाएं (या रिवर्स) सूची कन्स्ट्रक्टर के आधार पर List के लिए एक प्रेरण सिद्धांत बनाया। Definition