Entries from 2018-12-30 to 1 day
挿入ソート - Wikipedia foldrで挿入ソートを実装できることを知った。 insert : Nat -> List Nat -> List Nat insert x [] = [x] insert x (y::ys) = if lte x y then x :: y :: ys else y :: insert x ys -- 挿入ソート isort : List Nat -> List Nat isor…
挿入ソート - Wikipedia foldrで挿入ソートを実装できることを知った。 insert : Nat -> List Nat -> List Nat insert x [] = [x] insert x (y::ys) = if lte x y then x :: y :: ys else y :: insert x ys -- 挿入ソート isort : List Nat -> List Nat isor…
