krisajenkins

#!/bin/sh

usage() {
    (
        if [[ $# -ne 0 ]]
        then
            echo $*
            echo
        fi
        echo "USAGE: `basename $0` <input.mp4>"

krisajenkins

{-# LANGUAGE ScopedTypeVariables #-}

module Lib
  ( toBasicTree,
    toTree,
    sortTreeList,
    weight,
    Tree (..),
  )
where

krisajenkins

;; This buffer is for text that is not saved, and for Lisp evaluation.
;; To create a file, visit it with <open> and enter text in its buffer.

(add-to-list 'exec-path (expand-file-name "~/.nix-profile/bin"))
(setenv "PATH" (mapconcat 'identity exec-path ":"))
(setenv "NIX_PATH" "nixpkgs=/Users/kjenkins/.nix-defexpr/channels/nixpkgs")

(require 'server)
(unless (server-running-p)
  (server-start))

krisajenkins

When
    [Case
        (Deposit
            (AccountId
                0
                (Role "alice")
            )
            (Role "alice")
            (Token "" "")
            (Constant 450)

krisajenkins

-- A game with two players. Player 1 thinks of a secret word
-- and uses its hash, and the game validator script, to lock
-- some funds (the prize) in a pay-to-script transaction output.
-- Player 2 guesses the word by attempting to spend the transaction
-- output. If the guess is correct, the validator script releases the funds.
-- If it isn't, the funds stay locked.
import           Control.Applicative        ((<|>))
import           Control.Monad              (void)
import qualified Data.ByteString.Lazy.Char8 as C

krisajenkins

-- A game with two players. Player 1 thinks of a secret word
-- and uses its hash, and the game validator script, to lock
-- some funds (the prize) in a pay-to-script transaction output.
-- Player 2 guesses the word by attempting to spend the transaction
-- output. If the guess is correct, the validator script releases the funds.
-- If it isn't, the funds stay locked.
import           Control.Applicative        ((<|>))
import           Control.Monad              (void)
import qualified Data.ByteString.Lazy.Char8 as C

krisajenkins

-- A game with two players. Player 1 thinks of a secret word
-- and uses its hash, and the game validator script, to lock
-- some funds (the prize) in a pay-to-script transaction output.
-- Player 2 guesses the word by attempting to spend the transaction
-- output. If the guess is correct, the validator script releases the funds.
-- If it isn't, the funds stay locked.
import           Control.Applicative        ((<|>))
import           Control.Monad              (void)
import qualified Data.ByteString.Lazy.Char8 as C

krisajenkins

-- A game with two players. Player 1 thinks of a secret word
-- and uses its hash, and the game validator script, to lock
-- some funds (the prize) in a pay-to-script transaction output.
-- Player 2 guesses the word by attempting to spend the transaction
-- output. If the guess is correct, the validator script releases the funds.
-- If it isn't, the funds stay locked.
import           Control.Applicative        ((<|>))
import           Control.Monad              (void)
import qualified Data.ByteString.Lazy.Char8 as C

krisajenkins

-- A game with two players. Player 1 thinks of a secret word
-- and uses its hash, and the game validator script, to lock
-- some funds (the prize) in a pay-to-script transaction output.
-- Player 2 guesses the word by attempting to spend the transaction
-- output. If the guess is correct, the validator script releases the funds.
-- If it isn't, the funds stay locked.

import qualified Language.PlutusTx          as PlutusTx
import           Language.PlutusTx.Prelude

krisajenkins

-- A game with two players. Player 1 thinks of a secret word
-- and uses its hash, and the game validator script, to lock
-- some funds (the prize) in a pay-to-script transaction output.
-- Player 2 guesses the word by attempting to spend the transaction
-- output. If the guess is correct, the validator script releases the funds.
-- If it isn't, the funds stay locked.

import qualified Language.PlutusTx          as PlutusTx
import           Language.PlutusTx.Prelude