louy2

cargo install --list | grep : | awk '{print $1}' | xargs cargo install

louy2

import java.util.*;
import java.util.stream.Collectors;

class DistNum {
    public Integer distance;
    public Integer num;

    public DistNum(Integer distance, Integer num) {
        this.distance = distance;
        this.num = num;

louy2

// http://okmij.org/ftp/tagless-final/JFP.pdf

// Self is not HKT so cannot enforce term types
trait Symantics {
    fn int(v: i64) -> Self;
    fn bool(v: bool) -> Self;
    
    // Cannot enforce that add takes int
    fn add(x: Self, y: Self) -> Self;
    // Cannot enforce that leq takes int and returns bool

louy2

let and2 = (x, y) => {
  if (Boolean(x)) {
    return Boolean(y)
  } else {
    return false
  }
}

let or2 = (x, y) => {
  if (Boolean(x)) {

louy2

var items = Zotero.getActiveZoteroPane().getSelectedItems();
for (let item of items) {
//return item
let d = item.getField("libraryCatalog").trim()
let p = item.getField("url").trim()
//return { d, p }
//return p.startsWith("https")
if (!p.startsWith("https")) {
let u = "https://" + d + p
//return u

louy2

play_chord [60, 64, 68]
sleep 0.5
play_chord [60, 64, 68]
sleep 0.5
play_chord [64, 68, 71]
sleep 1.5
play_chord [60, 64, 68]
sleep 0.5
play_chord [60, 64, 68]
sleep 1

louy2

-- https://paiza.jp/poh/enkoi-ending/ed57428d
-- しゃくとり法
import Data.List

main = do
    t:_ <- map read . words <$> getLine
    interact $ show . solve t . map read . lines

solve :: Int -> [Int] -> Int
solve t xs = maximum $ solve' t xs

louy2

#lang racket

(define (merge-sort l)
  (cond
    [(null? (cdr l)) l]
    [else (let-values
              ([(l1 l2) (split-in-half l)])
            (merge (merge-sort l1) (merge-sort l2)))]))

(define (split-in-half l)

louy2

-- https://paiza.jp/works/mondai/skillcheck_sample/diff_str?language_uid=haskell

{-# LANGUAGE OverloadedStrings #-}

import           Prelude hiding (getLine, putStrLn)
import           Data.Text (Text, pack, unpack)
import           Data.Text.IO (getLine, putStrLn)
import           Control.Applicative (liftA2)

diffStr :: Text -> Text -> Text

louy2

import tactic.norm_num
import data.real.basic
import analysis.normed_space.basic

open normed_field

def lim_inf (f : ℝ → ℝ) (L : ℝ) :=
  ∀ ε > 0, ∃ N > (0 : ℝ),
    ∀ x, x > N → ∥f x - L∥ < ε