Zeta611

function(){
  var css = 'html,body{display:flex!important;justify-content:center!important;align-items:center!important;min-height:100vh!important;}body>*{max-width:100% !important;}';
  var s = document.createElement('style');
  s.textContent = css;
  document.head.appendChild(s);
})()

Zeta611

$pdf_mode = 4;
set_tex_cmds('%O --shell-escape %S');

Zeta611

#!/bin/bash

name="$1"

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

mkdir "$name"

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

from bs4 import BeautifulSoup
import re
import requests
import webbrowser


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

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

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

from dataclasses import dataclass


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


@dataclass(frozen=True)
class Int:

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())