내가해냄!!!! 코드 splits-length : (n : ℕ) → (xs : List A) → All (λ ss → length ss ≡ n) (splits n xs) splits-length zero [] = refl ∷ [] splits-length zero (x ∷ xs) = [] splits-length (suc n) xs = concat⁺ (gmap⁺ […] [Original post on hackers.pub]

0 likes 0 replies