Solve problems from the number round of the Countdown game show
Tue Mar 25 17:31:13 UTC 2025 | ||
Tue Mar 25 17:30:14 UTC 2025 | ||
Tue Mar 25 16:44:30 UTC 2025 | ||
Tue Mar 25 16:44:24 UTC 2025 | ||
Cabal.Test-Suite.Build-Depends: add version bounds to all packages They are redundant but silence warnings of 'cabal check'. | Tue Mar 25 16:43:50 UTC 2025 | |
Cabal.Description: add command-line example minor corrections | Tue Mar 25 16:38:43 UTC 2025 | |
Test.Utility.genEquation: generate expression and result in concordance Test.Solve: test that the generated equation is one of the found solutions. | Tue Mar 25 16:29:05 UTC 2025 | |
normalize and sort expressions for uniqueness of test results instances Eq, Ord for SubExpr, Sum, Product | Tue Mar 25 09:44:36 UTC 2025 | |
Mon Mar 24 16:02:28 UTC 2025 | ||
add QuickCheck properties about solvability and number of solutions | Mon Mar 24 15:27:55 UTC 2025 | |
Unfortunately, the examples depend on the order of the solutions. | Mon Mar 24 08:29:07 UTC 2025 | |
Main module with optparse-applicative command line interface | Mon Mar 24 06:03:28 UTC 2025 | |
Sun Mar 23 21:47:17 UTC 2025 |