Merge pull request #669 from HugoPeters1024/HugoPeters1024-patch-1

Update Newspaper.hs
LeventErkok · Aug 9, 2023 · 50ae345 · 50ae345
2 parents 42d05b6 + 7097015
commit 50ae345
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Documentation/SBV/Examples/Puzzles/Newspaper.hs b/Documentation/SBV/Examples/Puzzles/Newspaper.hs
@@ -6,7 +6,8 @@
 -- Maintainer: erkokl@gmail.com
 -- Stability : experimental
 --
--- Solution to the following puzzle, which contains 10 questions:
+-- Solution to the following puzzle (found at hugopeters.me/posts/15)
+-- which contains 10 questions:
 --
 -- @
 -- a. What is sum of all integer answers?