electroCutie

package cloud.literallya.util;

import static com.google.common.base.Preconditions.checkArgument;
import static java.util.Objects.requireNonNull;

import java.util.Objects;
import java.util.Optional;
import java.util.function.Consumer;
import java.util.function.Function;
import java.util.function.Supplier;

electroCutie

package cloud.literallya.util;

import java.util.function.BiConsumer;
import java.util.function.Consumer;
import java.util.function.Function;
import java.util.function.Predicate;
import java.util.function.Supplier;

public class Exceptions{

electroCutie

module plfa.part1.Homomorphisms where


import Relation.Binary.PropositionalEquality as Eq
open Eq using (_≡_; refl; cong; sym; trans; subst; _≢_; subst₂ )
open Eq.≡-Reasoning using (begin_; _≡⟨⟩_; _≡⟨_⟩_; _∎)
open import Data.Nat
open import Data.Nat.Properties

-- open import Function using (_∘_)

electroCutie

package com.macvalves.util.concurrent;

import static com.google.common.base.Preconditions.checkArgument;
import static com.google.common.base.Preconditions.checkState;
import static java.util.Objects.requireNonNull;

import java.util.Collection;
import java.util.List;
import java.util.Spliterators;
import java.util.concurrent.CyclicBarrier;

electroCutie

//include "/sprintf.js";

//snippet "Object.freeze";
//snippet "Array.forEach";


(function(){
  "use strict";
  
  function getOrCall(o, attr){

electroCutie

module plfa.part1.Induction where

import Relation.Binary.PropositionalEquality as Eq
open Eq using (_≡_; refl; cong; sym)
open Eq.≡-Reasoning using (begin_; _≡⟨⟩_; _≡⟨_⟩_; _∎)
open import Data.Nat using (ℕ; zero; suc; _+_; _*_; _∸_)


-- left identity:   C op n ≡ n

electroCutie

module Main where

import           Control.Monad.Random.Lazy

import           Data.List                 (find)
import           Data.Maybe
import           Debug.Trace
import           Text.Printf

primes :: [Integer]

electroCutie

package cloud.literallya.util;

import java.util.Map;
import java.util.function.IntSupplier;
import java.util.function.LongSupplier;
import java.util.function.Supplier;
import java.util.logging.Logger;
import java.util.stream.Collectors;
import java.util.stream.IntStream;

electroCutie

{-# LANGUAGE ExplicitForAll    #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE PatternSynonyms   #-}

module Main where

import           Text.Printf

import           Calibration.CalUnits

electroCutie

#include <stdint.h>
#include <stdio.h>

#include <printf.h>
#define _stride(_type) ({  \
  _type* _t = (_type*) 0;  \
  (uint64_t) (_t+1);       \
  })

struct st {