Skip to content

Commit

Permalink
remove stale link
Browse files Browse the repository at this point in the history
  • Loading branch information
LeventErkok committed Nov 4, 2024
1 parent 534f27a commit 21dc15d
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions Documentation/SBV/Examples/Puzzles/Sudoku.hs
Original file line number Diff line number Diff line change
Expand Up @@ -175,8 +175,7 @@ puzzle5 = [ [ 0, 9, 0, 7, 0, 0, 8, 6, 0]
, [ 0, 2, 0, 6, 0, 0, 3, 5, 0]
, [ 0, 5, 4, 0, 0, 8, 0, 7, 0] ]

-- | The following is nefarious according to
-- <http://haskell.org/haskellwiki/Sudoku>
-- | Another example
puzzle6 :: Puzzle
puzzle6 = [ [0, 0, 0, 0, 6, 0, 0, 8, 0]
, [0, 2, 0, 0, 0, 0, 0, 0, 0]
Expand Down

0 comments on commit 21dc15d

Please sign in to comment.