remove unnecessary import

oxe-i · oxe-i · commit cebc9eb8a0ed · 2026-01-20T21:23:10.000-03:00
diff --git a/exercises/practice/game-of-life/.meta/Example.lean b/exercises/practice/game-of-life/.meta/Example.lean
@@ -1,6 +1,3 @@
-import Std
-open Std
-
 namespace GameOfLife
 
 def countNeighbors (x : Nat) (y : Nat) (matrix : Array (Array Bool)) : Nat :=
