From 7c9e0afe54c5cfbe93686b1b947b4b48fcdb429b Mon Sep 17 00:00:00 2001 From: SimaDovakin Date: Thu, 1 Aug 2024 12:06:10 +0300 Subject: [PATCH] yacht-exercise: Added new exercise. --- config.json | 8 + .../practice/yacht/.docs/instructions.md | 30 ++++ .../practice/yacht/.docs/introduction.md | 11 ++ exercises/practice/yacht/.meta/config.json | 19 +++ .../yacht/.meta/examples/yacht.example.u | 75 +++++++++ .../practice/yacht/.meta/testAnnotation.json | 118 ++++++++++++++ exercises/practice/yacht/.meta/testLoader.md | 9 ++ exercises/practice/yacht/.meta/tests.toml | 97 ++++++++++++ exercises/practice/yacht/yacht.test.u | 147 ++++++++++++++++++ exercises/practice/yacht/yacht.u | 16 ++ 10 files changed, 530 insertions(+) create mode 100644 exercises/practice/yacht/.docs/instructions.md create mode 100644 exercises/practice/yacht/.docs/introduction.md create mode 100644 exercises/practice/yacht/.meta/config.json create mode 100644 exercises/practice/yacht/.meta/examples/yacht.example.u create mode 100644 exercises/practice/yacht/.meta/testAnnotation.json create mode 100644 exercises/practice/yacht/.meta/testLoader.md create mode 100644 exercises/practice/yacht/.meta/tests.toml create mode 100644 exercises/practice/yacht/yacht.test.u create mode 100644 exercises/practice/yacht/yacht.u diff --git a/config.json b/config.json index 52140ac..b3d1f3e 100644 --- a/config.json +++ b/config.json @@ -422,6 +422,14 @@ "practices": [], "prerequisites": [], "difficulty": 7 + }, + { + "slug": "yacht", + "name": "Yacht", + "uuid": "135ead8d-cd69-4336-a885-20e56359cea8", + "practices": [], + "prerequisites": [], + "difficulty": 3 } ] }, diff --git a/exercises/practice/yacht/.docs/instructions.md b/exercises/practice/yacht/.docs/instructions.md new file mode 100644 index 0000000..519b7a6 --- /dev/null +++ b/exercises/practice/yacht/.docs/instructions.md @@ -0,0 +1,30 @@ +# Instructions + +Given five dice and a category, calculate the score of the dice for that category. + +~~~~exercism/note +You'll always be presented with five dice. +Each dice's value will be between one and six inclusively. +The dice may be unordered. +~~~~ + +## Scores in Yacht + +| Category | Score | Description | Example | +| --------------- | ---------------------- | ---------------------------------------- | ------------------- | +| Ones | 1 × number of ones | Any combination | 1 1 1 4 5 scores 3 | +| Twos | 2 × number of twos | Any combination | 2 2 3 4 5 scores 4 | +| Threes | 3 × number of threes | Any combination | 3 3 3 3 3 scores 15 | +| Fours | 4 × number of fours | Any combination | 1 2 3 3 5 scores 0 | +| Fives | 5 × number of fives | Any combination | 5 1 5 2 5 scores 15 | +| Sixes | 6 × number of sixes | Any combination | 2 3 4 5 6 scores 6 | +| Full House | Total of the dice | Three of one number and two of another | 3 3 3 5 5 scores 19 | +| Four of a Kind | Total of the four dice | At least four dice showing the same face | 4 4 4 4 6 scores 16 | +| Little Straight | 30 points | 1-2-3-4-5 | 1 2 3 4 5 scores 30 | +| Big Straight | 30 points | 2-3-4-5-6 | 2 3 4 5 6 scores 30 | +| Choice | Sum of the dice | Any combination | 2 3 3 4 6 scores 18 | +| Yacht | 50 points | All five dice showing the same face | 4 4 4 4 4 scores 50 | + +If the dice do **not** satisfy the requirements of a category, the score is zero. +If, for example, _Four Of A Kind_ is entered in the _Yacht_ category, zero points are scored. +A _Yacht_ scores zero if entered in the _Full House_ category. diff --git a/exercises/practice/yacht/.docs/introduction.md b/exercises/practice/yacht/.docs/introduction.md new file mode 100644 index 0000000..5b541f5 --- /dev/null +++ b/exercises/practice/yacht/.docs/introduction.md @@ -0,0 +1,11 @@ +# Introduction + +Each year, something new is "all the rage" in your high school. +This year it is a dice game: [Yacht][yacht]. + +The game of Yacht is from the same family as Poker Dice, Generala and particularly Yahtzee, of which it is a precursor. +The game consists of twelve rounds. +In each, five dice are rolled and the player chooses one of twelve categories. +The chosen category is then used to score the throw of the dice. + +[yacht]: https://en.wikipedia.org/wiki/Yacht_(dice_game) diff --git a/exercises/practice/yacht/.meta/config.json b/exercises/practice/yacht/.meta/config.json new file mode 100644 index 0000000..cce01a7 --- /dev/null +++ b/exercises/practice/yacht/.meta/config.json @@ -0,0 +1,19 @@ +{ + "authors": [ + "SimaDovakin" + ], + "files": { + "solution": [ + "yacht.u" + ], + "test": [ + "yacht.test.u" + ], + "example": [ + ".meta/examples/yacht.example.u" + ] + }, + "blurb": "Score a single throw of dice in the game Yacht.", + "source": "James Kilfiger, using Wikipedia", + "source_url": "https://en.wikipedia.org/wiki/Yacht_(dice_game)" +} diff --git a/exercises/practice/yacht/.meta/examples/yacht.example.u b/exercises/practice/yacht/.meta/examples/yacht.example.u new file mode 100644 index 0000000..7f75ff8 --- /dev/null +++ b/exercises/practice/yacht/.meta/examples/yacht.example.u @@ -0,0 +1,75 @@ +unique type yacht.Category + = Ones + | Twos + | Threes + | Fours + | Fives + | Sixes + | FullHouse + | FourOfAKind + | LittleStraight + | BigStraight + | Choice + | Yacht + +yacht.yacht : Category -> [Nat] -> Nat +yacht.yacht category dice = + match category with + Ones -> calculateNumericCategories 1 dice + Twos -> calculateNumericCategories 2 dice + Threes -> calculateNumericCategories 3 dice + Fours -> calculateNumericCategories 4 dice + Fives -> calculateNumericCategories 5 dice + Sixes -> calculateNumericCategories 6 dice + FullHouse -> fullHouse dice + FourOfAKind -> fourOfAKind dice + LittleStraight -> littleStraight dice + BigStraight -> bigStraight dice + Choice -> sum dice + Yacht -> yacht' dice + +yacht.calculateNumericCategories : Nat -> [Nat] -> Nat +yacht.calculateNumericCategories element dice = element * countElement element dice + +yacht.fullHouse : [Nat] -> Nat +yacht.fullHouse dice = + diceFrequencies = frequencies dice + match values diceFrequencies with + [2, 3] -> sum dice + [3, 2] -> sum dice + _ -> 0 + +yacht.fourOfAKind : [Nat] -> Nat +yacht.fourOfAKind dice = + diceFrequencies = frequencies dice + match toList diceFrequencies with + [_, (die, 4)] -> die * 4 + [(die, 4), _] -> die * 4 + [(die, 5)] -> die * 4 + _ -> 0 + +yacht.littleStraight : [Nat] -> Nat +yacht.littleStraight dice = + match List.sort dice with + [1, 2, 3, 4, 5] -> 30 + _ -> 0 + +yacht.bigStraight : [Nat] -> Nat +yacht.bigStraight dice = + match List.sort dice with + [2, 3, 4, 5, 6] -> 30 + _ -> 0 + +yacht.yacht' : [Nat] -> Nat +yacht.yacht' dice = + diceFrequencies = frequencies dice + match size diceFrequencies with + 1 -> 50 + _ -> 0 + +yacht.frequencies : [Nat] -> Map Nat Nat +yacht.frequencies = + updateFrequency = cases + Some die -> Some (die + 1) + None -> Some 1 + List.foldLeft (acc die -> Map.alter updateFrequency die acc) Map.empty diff --git a/exercises/practice/yacht/.meta/testAnnotation.json b/exercises/practice/yacht/.meta/testAnnotation.json new file mode 100644 index 0000000..767612f --- /dev/null +++ b/exercises/practice/yacht/.meta/testAnnotation.json @@ -0,0 +1,118 @@ +[ + { + "name": "yacht.yacht.tests.ex1", + "test_code": "expect (50 == yacht.yacht Yacht [5, 5, 5, 5, 5])\n |> Test.label \"Yacht\"" + }, + { + "name": "yacht.yacht.tests.ex2", + "test_code": "expect (0 == yacht.yacht Yacht [1, 3, 3, 2, 5])\n |> Test.label \"Not Yacht\"" + }, + { + "name": "yacht.yacht.tests.ex3", + "test_code": "expect (3 == yacht.yacht Ones [1, 1, 1, 3, 5])\n |> Test.label \"Ones\"" + }, + { + "name": "yacht.yacht.tests.ex4", + "test_code": "expect (3 == yacht.yacht Ones [3, 1, 1, 5, 1])\n |> Test.label \"Ones, out of order\"" + }, + { + "name": "yacht.yacht.tests.ex5", + "test_code": "expect (0 == yacht.yacht Ones [4, 3, 6, 5, 5])\n |> Test.label \"No ones\"" + }, + { + "name": "yacht.yacht.tests.ex6", + "test_code": "expect (2 == yacht.yacht Twos [2, 3, 4, 5, 6])\n |> Test.label \"Twos\"" + }, + { + "name": "yacht.yacht.tests.ex7", + "test_code": "expect (8 == yacht.yacht Fours [1, 4, 1, 4, 1])\n |> Test.label \"Fours\"" + }, + { + "name": "yacht.yacht.tests.ex8", + "test_code": "expect (15 == yacht.yacht Threes [3, 3, 3, 3, 3])\n |> Test.label \"Yacht counted as threes\"" + }, + { + "name": "yacht.yacht.tests.ex9", + "test_code": "expect (0 == yacht.yacht Fives [3, 3, 3, 3, 3])\n |> Test.label \"Yacht of 3s counted as fives\"" + }, + { + "name": "yacht.yacht.tests.ex10", + "test_code": "expect (10 == yacht.yacht Fives [1, 5, 3, 5, 3])\n |> Test.label \"Fives\"" + }, + { + "name": "yacht.yacht.tests.ex11", + "test_code": "expect (6 == yacht.yacht Sixes [2, 3, 4, 5, 6])\n |> Test.label \"Sixes\"" + }, + { + "name": "yacht.yacht.tests.ex12", + "test_code": "expect (16 == yacht.yacht FullHouse [2, 2, 4, 4, 4])\n |> Test.label \"Full house two small, three big\"" + }, + { + "name": "yacht.yacht.tests.ex13", + "test_code": "expect (19 == yacht.yacht FullHouse [5, 3, 3, 5, 3])\n |> Test.label \"Full house three small, two big\"" + }, + { + "name": "yacht.yacht.tests.ex14", + "test_code": "expect (0 == yacht.yacht FullHouse [2, 2, 4, 4, 5])\n |> Test.label \"Two pair is not a full house\"" + }, + { + "name": "yacht.yacht.tests.ex15", + "test_code": "expect (0 == yacht.yacht FullHouse [1, 4, 4, 4, 4])\n |> Test.label \"Four of a kind is not a full house\"" + }, + { + "name": "yacht.yacht.tests.ex16", + "test_code": "expect (0 == yacht.yacht FullHouse [2, 2, 2, 2, 2])\n |> Test.label \"Yacht is not a full house\"" + }, + { + "name": "yacht.yacht.tests.ex17", + "test_code": "expect (24 == yacht.yacht FourOfAKind [6, 6, 4, 6, 6])\n |> Test.label \"Four of a Kind\"" + }, + { + "name": "yacht.yacht.tests.ex18", + "test_code": "expect (12 == yacht.yacht FourOfAKind [3, 3, 3, 3, 3])\n |> Test.label \"Yacht can be scored as Four of a Kind\"" + }, + { + "name": "yacht.yacht.tests.ex19", + "test_code": "expect (0 == yacht.yacht FourOfAKind [3, 3, 3, 5, 5])\n |> Test.label \"Full house is not Four of a Kind\"" + }, + { + "name": "yacht.yacht.tests.ex20", + "test_code": "expect (30 == yacht.yacht LittleStraight [3, 5, 4, 1, 2])\n |> Test.label \"Little Straight\"" + }, + { + "name": "yacht.yacht.tests.ex21", + "test_code": "expect (0 == yacht.yacht BigStraight [1, 2, 3, 4, 5])\n |> Test.label \"Little Straight as Big Straight\"" + }, + { + "name": "yacht.yacht.tests.ex22", + "test_code": "expect (0 == yacht.yacht LittleStraight [1, 1, 2, 3, 4])\n |> Test.label \"Four in order but not a little straight\"" + }, + { + "name": "yacht.yacht.tests.ex23", + "test_code": "expect (0 == yacht.yacht LittleStraight [1, 2, 3, 4, 6])\n |> Test.label \"No pairs but not a little straight\"" + }, + { + "name": "yacht.yacht.tests.ex24", + "test_code": "expect (0 == yacht.yacht LittleStraight [1, 1, 3, 4, 5])\n |> Test.label \"Minimum is 1, maximum is 5, but not a little straight\"" + }, + { + "name": "yacht.yacht.tests.ex25", + "test_code": "expect (30 == yacht.yacht BigStraight [4, 6, 2, 5, 3])\n |> Test.label \"Big Straight\"" + }, + { + "name": "yacht.yacht.tests.ex26", + "test_code": "expect (0 == yacht.yacht LittleStraight [6, 5, 4, 3, 2])\n |> Test.label \"Big Straight as little straight\"" + }, + { + "name": "yacht.yacht.tests.ex27", + "test_code": "expect (0 == yacht.yacht BigStraight [6, 5, 4, 3, 1])\n |> Test.label \"No pairs but not a big straight\"" + }, + { + "name": "yacht.yacht.tests.ex28", + "test_code": "expect (23 == yacht.yacht Choice [3, 3, 5, 6, 6])\n |> Test.label \"Choice\"" + }, + { + "name": "yacht.yacht.tests.ex29", + "test_code": "expect (10 == yacht.yacht Choice [2, 2, 2, 2, 2])\n |> Test.label \"Yacht as choice\"" + } +] \ No newline at end of file diff --git a/exercises/practice/yacht/.meta/testLoader.md b/exercises/practice/yacht/.meta/testLoader.md new file mode 100644 index 0000000..b916171 --- /dev/null +++ b/exercises/practice/yacht/.meta/testLoader.md @@ -0,0 +1,9 @@ +# Testing transcript for yacht exercise + +```ucm +.> load ./yacht.u +.> add +.> load ./yacht.test.u +.> add +.> move.term yacht.tests tests +``` diff --git a/exercises/practice/yacht/.meta/tests.toml b/exercises/practice/yacht/.meta/tests.toml new file mode 100644 index 0000000..b9d9203 --- /dev/null +++ b/exercises/practice/yacht/.meta/tests.toml @@ -0,0 +1,97 @@ +# This is an auto-generated file. +# +# Regenerating this file via `configlet sync` will: +# - Recreate every `description` key/value pair +# - Recreate every `reimplements` key/value pair, where they exist in problem-specifications +# - Remove any `include = true` key/value pair (an omitted `include` key implies inclusion) +# - Preserve any other key/value pair +# +# As user-added comments (using the # character) will be removed when this file +# is regenerated, comments can be added via a `comment` key. + +[3060e4a5-4063-4deb-a380-a630b43a84b6] +description = "Yacht" + +[15026df2-f567-482f-b4d5-5297d57769d9] +description = "Not Yacht" + +[36b6af0c-ca06-4666-97de-5d31213957a4] +description = "Ones" + +[023a07c8-6c6e-44d0-bc17-efc5e1b8205a] +description = "Ones, out of order" + +[7189afac-cccd-4a74-8182-1cb1f374e496] +description = "No ones" + +[793c4292-dd14-49c4-9707-6d9c56cee725] +description = "Twos" + +[dc41bceb-d0c5-4634-a734-c01b4233a0c6] +description = "Fours" + +[f6125417-5c8a-4bca-bc5b-b4b76d0d28c8] +description = "Yacht counted as threes" + +[464fc809-96ed-46e4-acb8-d44e302e9726] +description = "Yacht of 3s counted as fives" + +[d054227f-3a71-4565-a684-5c7e621ec1e9] +description = "Fives" + +[e8a036e0-9d21-443a-8b5f-e15a9e19a761] +description = "Sixes" + +[51cb26db-6b24-49af-a9ff-12f53b252eea] +description = "Full house two small, three big" + +[1822ca9d-f235-4447-b430-2e8cfc448f0c] +description = "Full house three small, two big" + +[b208a3fc-db2e-4363-a936-9e9a71e69c07] +description = "Two pair is not a full house" + +[b90209c3-5956-445b-8a0b-0ac8b906b1c2] +description = "Four of a kind is not a full house" + +[32a3f4ee-9142-4edf-ba70-6c0f96eb4b0c] +description = "Yacht is not a full house" + +[b286084d-0568-4460-844a-ba79d71d79c6] +description = "Four of a Kind" + +[f25c0c90-5397-4732-9779-b1e9b5f612ca] +description = "Yacht can be scored as Four of a Kind" + +[9f8ef4f0-72bb-401a-a871-cbad39c9cb08] +description = "Full house is not Four of a Kind" + +[b4743c82-1eb8-4a65-98f7-33ad126905cd] +description = "Little Straight" + +[7ac08422-41bf-459c-8187-a38a12d080bc] +description = "Little Straight as Big Straight" + +[97bde8f7-9058-43ea-9de7-0bc3ed6d3002] +description = "Four in order but not a little straight" + +[cef35ff9-9c5e-4fd2-ae95-6e4af5e95a99] +description = "No pairs but not a little straight" + +[fd785ad2-c060-4e45-81c6-ea2bbb781b9d] +description = "Minimum is 1, maximum is 5, but not a little straight" + +[35bd74a6-5cf6-431a-97a3-4f713663f467] +description = "Big Straight" + +[87c67e1e-3e87-4f3a-a9b1-62927822b250] +description = "Big Straight as little straight" + +[c1fa0a3a-40ba-4153-a42d-32bc34d2521e] +description = "No pairs but not a big straight" + +[207e7300-5d10-43e5-afdd-213e3ac8827d] +description = "Choice" + +[b524c0cf-32d2-4b40-8fb3-be3500f3f135] +description = "Yacht as choice" diff --git a/exercises/practice/yacht/yacht.test.u b/exercises/practice/yacht/yacht.test.u new file mode 100644 index 0000000..923a9a6 --- /dev/null +++ b/exercises/practice/yacht/yacht.test.u @@ -0,0 +1,147 @@ +yacht.yacht.tests.ex1 = + expect (50 == yacht.yacht Yacht [5, 5, 5, 5, 5]) + |> Test.label "Yacht" + +yacht.yacht.tests.ex2 = + expect (0 == yacht.yacht Yacht [1, 3, 3, 2, 5]) + |> Test.label "Not Yacht" + +yacht.yacht.tests.ex3 = + expect (3 == yacht.yacht Ones [1, 1, 1, 3, 5]) + |> Test.label "Ones" + +yacht.yacht.tests.ex4 = + expect (3 == yacht.yacht Ones [3, 1, 1, 5, 1]) + |> Test.label "Ones, out of order" + +yacht.yacht.tests.ex5 = + expect (0 == yacht.yacht Ones [4, 3, 6, 5, 5]) + |> Test.label "No ones" + +yacht.yacht.tests.ex6 = + expect (2 == yacht.yacht Twos [2, 3, 4, 5, 6]) + |> Test.label "Twos" + +yacht.yacht.tests.ex7 = + expect (8 == yacht.yacht Fours [1, 4, 1, 4, 1]) + |> Test.label "Fours" + +yacht.yacht.tests.ex8 = + expect (15 == yacht.yacht Threes [3, 3, 3, 3, 3]) + |> Test.label "Yacht counted as threes" + +yacht.yacht.tests.ex9 = + expect (0 == yacht.yacht Fives [3, 3, 3, 3, 3]) + |> Test.label "Yacht of 3s counted as fives" + +yacht.yacht.tests.ex10 = + expect (10 == yacht.yacht Fives [1, 5, 3, 5, 3]) + |> Test.label "Fives" + +yacht.yacht.tests.ex11 = + expect (6 == yacht.yacht Sixes [2, 3, 4, 5, 6]) + |> Test.label "Sixes" + +yacht.yacht.tests.ex12 = + expect (16 == yacht.yacht FullHouse [2, 2, 4, 4, 4]) + |> Test.label "Full house two small, three big" + +yacht.yacht.tests.ex13 = + expect (19 == yacht.yacht FullHouse [5, 3, 3, 5, 3]) + |> Test.label "Full house three small, two big" + +yacht.yacht.tests.ex14 = + expect (0 == yacht.yacht FullHouse [2, 2, 4, 4, 5]) + |> Test.label "Two pair is not a full house" + +yacht.yacht.tests.ex15 = + expect (0 == yacht.yacht FullHouse [1, 4, 4, 4, 4]) + |> Test.label "Four of a kind is not a full house" + +yacht.yacht.tests.ex16 = + expect (0 == yacht.yacht FullHouse [2, 2, 2, 2, 2]) + |> Test.label "Yacht is not a full house" + +yacht.yacht.tests.ex17 = + expect (24 == yacht.yacht FourOfAKind [6, 6, 4, 6, 6]) + |> Test.label "Four of a Kind" + +yacht.yacht.tests.ex18 = + expect (12 == yacht.yacht FourOfAKind [3, 3, 3, 3, 3]) + |> Test.label "Yacht can be scored as Four of a Kind" + +yacht.yacht.tests.ex19 = + expect (0 == yacht.yacht FourOfAKind [3, 3, 3, 5, 5]) + |> Test.label "Full house is not Four of a Kind" + +yacht.yacht.tests.ex20 = + expect (30 == yacht.yacht LittleStraight [3, 5, 4, 1, 2]) + |> Test.label "Little Straight" + +yacht.yacht.tests.ex21 = + expect (0 == yacht.yacht BigStraight [1, 2, 3, 4, 5]) + |> Test.label "Little Straight as Big Straight" + +yacht.yacht.tests.ex22 = + expect (0 == yacht.yacht LittleStraight [1, 1, 2, 3, 4]) + |> Test.label "Four in order but not a little straight" + +yacht.yacht.tests.ex23 = + expect (0 == yacht.yacht LittleStraight [1, 2, 3, 4, 6]) + |> Test.label "No pairs but not a little straight" + +yacht.yacht.tests.ex24 = + expect (0 == yacht.yacht LittleStraight [1, 1, 3, 4, 5]) + |> Test.label "Minimum is 1, maximum is 5, but not a little straight" + +yacht.yacht.tests.ex25 = + expect (30 == yacht.yacht BigStraight [4, 6, 2, 5, 3]) + |> Test.label "Big Straight" + +yacht.yacht.tests.ex26 = + expect (0 == yacht.yacht LittleStraight [6, 5, 4, 3, 2]) + |> Test.label "Big Straight as little straight" + +yacht.yacht.tests.ex27 = + expect (0 == yacht.yacht BigStraight [6, 5, 4, 3, 1]) + |> Test.label "No pairs but not a big straight" + +yacht.yacht.tests.ex28 = + expect (23 == yacht.yacht Choice [3, 3, 5, 6, 6]) + |> Test.label "Choice" + +yacht.yacht.tests.ex29 = + expect (10 == yacht.yacht Choice [2, 2, 2, 2, 2]) + |> Test.label "Yacht as choice" + +test> yacht.tests = runAll [ + yacht.yacht.tests.ex1, + yacht.yacht.tests.ex2, + yacht.yacht.tests.ex3, + yacht.yacht.tests.ex4, + yacht.yacht.tests.ex5, + yacht.yacht.tests.ex6, + yacht.yacht.tests.ex7, + yacht.yacht.tests.ex8, + yacht.yacht.tests.ex9, + yacht.yacht.tests.ex10, + yacht.yacht.tests.ex11, + yacht.yacht.tests.ex12, + yacht.yacht.tests.ex13, + yacht.yacht.tests.ex14, + yacht.yacht.tests.ex15, + yacht.yacht.tests.ex16, + yacht.yacht.tests.ex17, + yacht.yacht.tests.ex18, + yacht.yacht.tests.ex19, + yacht.yacht.tests.ex20, + yacht.yacht.tests.ex21, + yacht.yacht.tests.ex22, + yacht.yacht.tests.ex23, + yacht.yacht.tests.ex24, + yacht.yacht.tests.ex25, + yacht.yacht.tests.ex26, + yacht.yacht.tests.ex27, + yacht.yacht.tests.ex28, + yacht.yacht.tests.ex29 +] diff --git a/exercises/practice/yacht/yacht.u b/exercises/practice/yacht/yacht.u new file mode 100644 index 0000000..ce8ab37 --- /dev/null +++ b/exercises/practice/yacht/yacht.u @@ -0,0 +1,16 @@ +unique type yacht.Category + = Ones + | Twos + | Threes + | Fours + | Fives + | Sixes + | FullHouse + | FourOfAKind + | LittleStraight + | BigStraight + | Choice + | Yacht + +yacht.yacht : Categoty -> [Nat] -> Nat +yacht.yacht = todo "implement yacht"