Update Problem4.lean

不要な場合分けの修正
lean-ja · Mar 17, 2024 · d2f1919 · d2f1919
1 parent 3f28c9b
commit d2f1919
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Src/Problem4.lean b/Src/Problem4.lean
@@ -9,7 +9,6 @@ def myLength (l : List α) : Nat :=
   -- sorry
   match l with
   | [] => 0
-  | [_] => 1
   | _ :: a => (myLength a).succ
   -- sorry