|
@@ -126,6 +126,10 @@ won g nbMines =
|
|
|
let nbUnco = sum (map sum uncoBinMatrix) in
|
|
let nbUnco = sum (map sum uncoBinMatrix) in
|
|
|
nbUnco == nbTotal - nbMines
|
|
nbUnco == nbTotal - nbMines
|
|
|
|
|
|
|
|
|
|
+toggleFlag::Cell -> Cell
|
|
|
|
|
+toggleFlag (Covered n b flag) = Covered n b !flag
|
|
|
|
|
+toggleFlag c = c
|
|
|
|
|
+
|
|
|
|
|
|
|
|
-- Testing data
|
|
-- Testing data
|
|
|
|
|
|
