iamwilhelm

theory balancing
  imports Main
begin

type_synonym nodesizes = "nat list"

fun insert :: "nodesizes ⇒ nat ⇒ nodesizes" where
  "insert [] _ = []" |
  "insert (x#xs) 0 = (x+1)#xs" |
  "insert (x#xs) n = x # insert xs (n-1)"

iamwilhelm

theory lattice_merkle_tree
  imports Main
begin

fun opt_last :: "'a list ⇒ 'a option" where
  "opt_last [] = None" |
  "opt_last xs = Some (last xs)"


(****** Lattice Merke Tree ******)

iamwilhelm

// tic tac toe
import * as readline from "readline";

enum Turn {
  Player = "player",
  Computer = "computer",
}

type Piece = string;

iamwilhelm

import * as fs from "fs/promises";
import Knex from "knex";
const Web3 = require("web3");

import { Refract, Component, Fiber } from "./refract";

/******* custom hooks ******/

export const useFetchJson = filePath => {
  let [json, setJson] = Refract.useState("useFetchJson", null);

iamwilhelm

import Web3 from "web3";
import Knex from "knex";

import {
  loadTokenList,
  marketContract,
  borrowAndSupplyRate,
  rateToApy
} from "./compound.js";
import { subscribeNewBlocks } from "../libs/eth.js";

iamwilhelm

import * as config from "../config";

import { Refract, elem } from "./refract";
import {
  useFetchJson,
  useWeb3,
  useCompoundContract,
  useBlockHeader,
  useBorrowAndSupplyRate,
  useKnex,

iamwilhelm

Keybase proof

I hereby claim:

• I am iamwilhelm on github.
• I am iamwil (https://keybase.io/iamwil) on keybase.
• I have a public key ASBfzjxITKzh-jyx-blESRdAagfInX3t1ibMrmtWPUWhnwo

To claim this, I am signing this object:

iamwilhelm

<div>
   <a class="donate-with-crypto" href="https://commerce.coinbase.com/products/4dff420e-6055-46fe-9747-dd12b708c873">
      <span>Donate with Crypto</span>
   </a>
   <script src="https://commerce.coinbase.com/v1/checkout.js"></script>
</div>

iamwilhelm

iamwilhelm