WilfredTA

var exist = function(board, word) {
    var seen = [];
    var targetCharIdx = 0;
    var result = {
        found: false
    };
    existHelper(board, word, seen, result);
    return result.found;
};

WilfredTA

var exist = function(board, word) {
    var seen = [];
    var targetCharIdx = 0;
    var result = {
        found: false
    };
    for (var i = 0; i < board.length; i++) {
        for (var j = 0; j < board[0].length; j++) {
          if (board[i][j] === word[targetCharIdx]) {
            seen.push([i,j]);

WilfredTA

var exist = function(board, word) {
    var seen = [];
    var targetCharIdx = 0;
    var result = {
        found: false
    };
    for (var i = 0; i < board.length; i++) {
        for (var j = 0; j < board[0].length; j++) {
          if (board[i][j] === word[targetCharIdx]) {
            seen.push([i,j]);

WilfredTA

var exist = function(board, word) {
    var seen = [];
    var targetCharIdx = 0;
    var result = {
        found: false
    };
    for (var i = 0; i < board.length; i++) {
        for (var j = 0; j < board[0].length; j++) {
          if (board[i][j] === word[targetCharIdx]) {

WilfredTA

var exist = function(board, word) {
    var seen = [];
    var targetCharIdx = 0;
    var result = {
        found: false
    };
  var seenCache = {};
    for (var i = 0; i < board.length; i++) {
        for (var j = 0; j < board[0].length; j++) {
          if (result.found) return result.found;

WilfredTA

const fs = require('fs')


const Core = require('@nervosnetwork/ckb-sdk-core').default


class CKBInterface {
  constructor(core, nodeUrl, privKey) {
    this.core = new Core(nodeUrl)
    this.privKey = privKey

WilfredTA

Base Fungible UDT Proposal Draft

Introduction

This document puts forth a proposed standard for Base Fungible user defined tokens (UDT) on Nervos Network’s Common Knowledge Base (CKB).

Relationship Between Properties, Transactions, and Operations

Transactions are the interface in CKB by which users perform operations (produce state changes). Transactions are composed of cells and cells can define type scripts that enforce constraints on any transaction in which the cell is included. Therefore descriptions of CKB operations are descriptions of transaction patterns, which in turn describe specific input, output, and dependency cells, as well as the constraints the input & output cells introduce into a transaction (via their type & lock scripts). The operations and their corresponding transaction patterns are the first two aspects of the standard that this document defines. The third aspect that this draft defines is the UDT extension mechanism through Lock.

WilfredTA

UDT Proposal Draft

Introduction

This document puts forth a proposed standard for user defined tokens (UDT) on Nervos Network’s Common Knowledge Base (CKB).

Transactions are the interface in CKB by which users perform operations (produce state changes). Transactions are composed of cells and cells can define type scripts that enforce constraints on any transaction in which the cell is included. Therefore descriptions of CKB operations are descriptions of transaction patterns. These patterns in turn describe specific input, output, and dependency cells, as well as the constraints the input & output cells introduce into a transaction (via their type & lock scripts). The operations and their corresponding transaction patterns are the first two aspects of the standard that this document defines. The third aspect that this draft defines is the UDT extension mechanism. The base standard is simple, defining only the bare minimum constraints for a fungible token. This will allow greater flexibility and oppor

WilfredTA

module Nat {
    datatype N := zero | (S N)

    declare +: [N N] -> N  [200] # precedence 200
    declare *: [N N] -> N  [300] # precedence 300
    declare **: [N N] -> N [400] # precedence 400

    declare Nul: [N] -> N

    # Some variables to use in definitions & proofs