Ayarlama testlerini, testtools ve nose2 kullanarak, @classmethod numaralı telefonu aramayı denediğimde, test paketi tamamlanmıyor. Ancak testin gerçekten geçtiğini ve fonksiyonun sonuna ulaştığını kon
İdriste, Fin n ve (x ** So (x < n)) arasında bir izomorfizm kurabilir misiniz? (Ben aslında Idris'u bilmiyorum, bu yüzden bu tipler geçerli olmayabilir. Genel fikir, n'dan daha az bir yapım yapılacağı