hide solution

lean-ja · Mar 20, 2024 · 01de3b5 · 01de3b5
1 parent b99afac
commit 01de3b5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Src/Problem19.lean b/Src/Problem19.lean
@@ -5,8 +5,10 @@
 variable {α : Type}
 
 def rotate (l : List α) (n : Nat) : List α :=
+  -- sorry
   let n := n % l.length
   l.drop n ++ l.take n
+  -- sorry
 
 -- The following code is a test case and you should not change it.