ColonelJ

Inductive bvec (T : Set) : nat -> Set :=
  | BLeaf : T -> bvec T 0
  | BNode log2len : bvec T log2len -> bvec T log2len -> bvec T (S log2len).

Definition bvec_leaf T (v : bvec T 0) := let 'BLeaf a := v in a.
Definition bvec_l T n (v : bvec T (S n)) := let 'BNode n l _ := v in l.
Definition bvec_r T n (v : bvec T (S n)) := let 'BNode n _ r := v in r.

Fixpoint zip (T U V : Set) (f : T -> U -> V) n (u : bvec T n) :=
  match u in bvec _ n return bvec U n -> bvec V n with

ColonelJ

import Graphics.Input (input, button, Input)
import Graphics.Input.Field (input, button, defaultStyle, noContent, Content)
import Graphics.Input.Field
import Graphics.Element
import List
import Dict (Dict)
import Dict
import Maybe (maybe)

data DDict k v = DDict v (Dict k v)

ColonelJ

import Window
 
main : Signal Element
main = display <~ Window.dimensions
 
display (w, h) = flow down [width w <| centered txt1, width w <| centered txt2]
 
txt1 = toText "Reeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeally long string"
txt2 = toText "Hello world"

ColonelJ

copy c++-dw2.exe c++.exe
copy cpp-dw2.exe cpp.exe
copy g++-dw2.exe g++.exe
copy gcc-ar-dw2.exe gcc-ar.exe
copy gcc-dw2.exe gcc.exe
copy gcc-nm-dw2.exe gcc-nm.exe
copy gcc-ranlib-dw2.exe gcc-ranlib.exe
copy gcov-dw2.exe gcov.exe
copy mingw32-c++-dw2.exe mingw32-c++.exe
copy mingw32-g++-dw2.exe mingw32-g++.exe

ColonelJ

pragma solidity ^0.5.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an

ColonelJ

import sys
import ecdsa
import hashlib
import base58
from sha3 import keccak_256

def privkey_to_address(privkey):
    privkey = bytes.fromhex(privkey)
    s = ecdsa.SigningKey.from_string(privkey, curve = ecdsa.SECP256k1)
    pubkey = s.verifying_key.to_string().hex()

ColonelJ

// SPDX-License-Identifier: MIT

pragma solidity ^0.7.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.