pingbird

pub fn step_inner(l: bool, m: u64, r: bool) -> u64 {
    let l = (m >> 1) | ((l as u64) << 63);
    let r = (m << 1) | r as u64;
    (l & m & !r) | (l & !m & r) | (!l & m & r) | (!l & m & !r) | (!l & !m & r)
}

pub fn step(input: &mut Vec<u64>, output: &mut Vec<u64>) {
    output.clear();
    let mut r: bool = true;
    let mut input = input.iter().cloned();

pingbird

import 'dart:math';

import 'package:boxy/boxy.dart';
import 'package:flutter/material.dart';

const darkBlue = Color.fromARGB(255, 18, 32, 47);

void main() {
  runApp(const MyApp());
}

pingbird

module _ where

open import Core.Set
open import Core.Bool
open import Core.Nat
open import Core.Fin
open import Core.Int
open import Core.List
open import Core.String
open import Core.Vec

pingbird

module _ where

open import Core.Nat
open import Core.Int
open import Core.List
open import Core.String
open import Core.Maybe
open import Core.Operators
open import Core.Pair
open import Core.Unit

pingbird

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Iota.Serialize where
import GHC.Generics
import Text.Read (readMaybe)

pingbird

final big0 = BigInt.zero;
final big1 = BigInt.one;
final big2 = BigInt.two;
final big8 = BigInt.from(8);

BigInt bigSqrt(BigInt n) {
  if (n.isNegative) {
    throw ArgumentError('Square root of negative numbers is not supported');
  }
  if (n < big2) {

pingbird

import 'package:flutter/material.dart';
import 'package:boxy/boxy.dart';
import 'dart:math';

const Color darkBlue = Color.fromARGB(255, 18, 32, 47);

void main() {
  runApp(MyApp());
}

pingbird

import 'dart:math';

import 'package:boxy/boxy.dart';
import 'package:flutter/material.dart';

const darkBlue = Color.fromARGB(255, 18, 32, 47);

void main() {
  runApp(const MyApp());
}

pingbird

import 'dart:math';

import 'package:boxy/boxy.dart';
import 'package:flutter/foundation.dart';
import 'package:flutter/material.dart';

const darkBlue = Color.fromARGB(255, 18, 32, 47);

void main() {
  runApp(const MyApp());

pingbird

import 'dart:math';

import 'package:boxy/boxy.dart';
import 'package:flutter/material.dart';

const darkBlue = Color.fromARGB(255, 18, 32, 47);

void main() {
  runApp(const MyApp());
}