solution.sw

def serveCustomer = \cone. \customer.
    give customer cone;
    end;

def getCounter =
    move;
    c <- grab;
    equip c;
    end;

def getBriefcase =
    turn left;
    move;
    move;
    b <- grab;
    equip b;
    turn back;
    move;
    move;
    end;

def getIngredients =
    move;
    move;
    cone <- grab;
    move;
    cherry <- grab;
    turn back;
    move;
    move;
    move;
    turn right;
    pure (cone, cherry);
    end;

def meetCustomer =
    maybeCustomer <- meet;
    case maybeCustomer (\_. meetCustomer) pure;
    end;

def serveScoop = \customer.
    let s = "scoop" in
    make s;
    give customer s;
    end;

def scoopUntil = \customer. \targetRemainingIngredientCount.
    currentCount <- count "milk";
    if (currentCount > targetRemainingIngredientCount) {
        serveScoop customer;
        scoopUntil customer targetRemainingIngredientCount;
    } {};
    end;

def runSolution = \targetRemainingIngredientCount.
    getBriefcase;
    coneAndCherry <- getIngredients;
    match coneAndCherry \cone. \cherry.
    getCounter;
    customer <- meetCustomer;

    serveCustomer cone customer;
    scoopUntil customer targetRemainingIngredientCount;
    give customer cherry;
    end;

runSolution 2712;