Zeta611

void drawShifted(
    path g,
    pair trueshift,
    picture pic=currentpicture,
    Label label="",
    pen pen=currentpen,
    arrowbar arrow=None,
    arrowbar bar=None,
    margin margin=NoMargin,
    marker marker=nomarker

Zeta611

import Foundation


final class FileIO {
    private let buffer:[UInt8]
    private var index: Int = 0

    init(fileHandle: FileHandle = FileHandle.standardInput) {
        
        buffer = Array(try! fileHandle.readToEnd()!)+[UInt8(0)] // 인덱스 범위 넘어가는 것 방지

Zeta611

import aiohttp
import asyncio


async def download(session, url, file):
    async with session.get(url) as res:
        with open(file, "wb") as f:
            f.write(await res.read())

Zeta611

from dataclasses import dataclass


@dataclass(frozen=True)
class Var:
    name: str


@dataclass(frozen=True)
class Int:

Zeta611

struct Fix<T> {
    let x: (Fix<T>) -> T
}

func fix<T, U>(f: @escaping (@escaping (T) -> U) -> ((T) -> U)) -> (T) -> U {
    { _fix in
        f { (_fix.x(_fix))($0) }
    }(
        Fix { _fix in
            f { (_fix.x(_fix))($0) }

Zeta611

type 'a fix = Fix of ('a fix -> 'a)

let fix f =
  (fun (Fix x as fix) -> f (fun z -> x fix z))
    (Fix (fun (Fix x as fix) -> f (fun z -> x fix z)))

let factorial = fix @@ fun f n -> if n <= 0 then 1 else n * f (n - 1)

Zeta611

from bs4 import BeautifulSoup
import re
import requests
import webbrowser


registrationNumbers = [
    "HHA000010715",
    "HHA000010711",
    "HHA000001827",

Zeta611

#!/bin/bash

# Check if qpdf is installed
if ! command -v qpdf >/dev/null; then
    echo "qpdf not found. Please install qpdf and try again."
    exit 1
fi

# Check if enough arguments are supplied
if [ "$#" -lt 3 ]; then

Zeta611

#!/bin/bash

# Check if qpdf is installed
if ! command -v qpdf >/dev/null; then
    echo "qpdf not found. Please install qpdf and try again."
    exit 1
fi

# Check if enough arguments are supplied
if [ "$#" -lt 3 ]; then

Zeta611

#!/bin/bash

name="$1"

if [ -z "$name" ]; then
	echo "Usage: $0 <name>"
	exit 1
fi

mkdir "$name"