14ısı
1cevap
Bu her zaman doğrudur: fmap (foldr f z). sequenceA = foldr (liftA2 f) (salt z)
13ısı
1cevap
Bir işlevin türü için benzersiz olduğunu nasıl kanıtlıyorsunuz?
7ısı
4cevap
kanıt n = Büyük-O (1) indüksiyonu kullanarak
10ısı
1cevap
Idris'te sıralanan liste (ekleme sırası)