add testcase to P23

lean-ja · Mar 24, 2024 · 7f1cc13 · 7f1cc13
1 parent b7551c0
commit 7f1cc13
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Src/Problem23.lean b/Src/Problem23.lean
@@ -14,3 +14,9 @@ def rndSelect (l : List α) (n : Nat) : IO (List α) := do
     let previous ← rndSelect l n
     pure <| l[index]! :: previous
   -- sorry
+
+#eval rndSelect [1, 2, 3, 4, 5, 6, 7, 8, 9, 10] 3
+
+#eval rndSelect [1, 1, 1] 2
+
+#eval rndSelect [1, 2, 3] 0