मैं List नामक सिद्धांत में अपनी खुद की सूची प्रकार को परिभाषित करना चाहता हूं, लेकिन उस नाम के साथ पहले से ही एक सिद्धांत है। क्या Main से अधिक हल्का सिद्धांत है?
मैं एक उपकरण की तलाश में हूं (जीयूआई पसंदीदा लेकिन सीएलआई काम करेगा) जो मुझे गणित अभिव्यक्ति इनपुट करने की अनुमति देता है और फिर उनमें से जोड़ों को निष्पादित करता है लेकिन मुझे केवल गणितीय मान्य संचाल