netsamir

import qualified Data.List as L
import           System.IO

------------ ------------ ------------
-- Day 1
------------ ------------ ------------

input1_test = [199, 200, 208, 210, 200, 207, 240, 269, 260, 263]

measurements :: [Integer] -> Integer

netsamir

When
    [Case
        (Deposit
            (Role "Seller")
            (Role "Buyer")
            (Token "" "")
            (ConstantParam "Price")
        )
        Close ]
    (SlotParam "Buyer's deposit timeout")

netsamir

Pay
    (Role "Son")
    (Party (Role "Dady"))
    (Token "" "")
    (Constant 15)
    Close 

netsamir

import Playground.Contract 
import qualified Language.PlutusTx         as PlutusTx
import qualified Language.PlutusTx.Prelude as P
import           Ledger
import           Ledger.Validation
import           wallet
import           Plutus.Contract