मैं कोक के साथ चारों ओर बेवकूफ बना रहा हूँ। विशेष रूप से, मैं विलय को लागू करने की कोशिश कर रहा हूं और फिर साबित करता हूं कि यह काम करता है। एक कार्यान्वयन पर मेरे प्रयास किया गया था: Fixpoint sort ls
में एकरमेन को परिभाषित करने में त्रुटि मैं कोक में एकरमेन-पीटर्स फ़ंक्शन को परिभाषित करने की कोशिश कर रहा हूं, और मुझे एक त्रुटि संदेश मिल रहा है जिसे मैं समझ नहीं पा रहा हूं। जैसा कि आप देख सकते हैं,