backup: 2025-06-23

.bin/quarkdown/bin/quarkdown

@@ -0,0 +1,248 @@
+#!/bin/sh
+
+#
+# Copyright © 2015-2021 the original authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#      https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+
+##############################################################################
+#
+#   quarkdown start up script for POSIX generated by Gradle.
+#
+#   Important for running:
+#
+#   (1) You need a POSIX-compliant shell to run this script. If your /bin/sh is
+#       noncompliant, but you have some other compliant shell such as ksh or
+#       bash, then to run this script, type that shell name before the whole
+#       command line, like:
+#
+#           ksh quarkdown
+#
+#       Busybox and similar reduced shells will NOT work, because this script
+#       requires all of these POSIX shell features:
+#         * functions;
+#         * expansions «$var», «${var}», «${var:-default}», «${var+SET}»,
+#           «${var#prefix}», «${var%suffix}», and «$( cmd )»;
+#         * compound commands having a testable exit status, especially «case»;
+#         * various built-in commands including «command», «set», and «ulimit».
+#
+#   Important for patching:
+#
+#   (2) This script targets any POSIX shell, so it avoids extensions provided
+#       by Bash, Ksh, etc; in particular arrays are avoided.
+#
+#       The "traditional" practice of packing multiple parameters into a
+#       space-separated string is a well documented source of bugs and security
+#       problems, so this is (mostly) avoided, by progressively accumulating
+#       options in "$@", and eventually passing that to Java.
+#
+#       Where the inherited environment variables (DEFAULT_JVM_OPTS, JAVA_OPTS,
+#       and QUARKDOWN_OPTS) rely on word-splitting, this is performed explicitly;
+#       see the in-line comments for details.
+#
+#       There are tweaks for specific operating systems such as AIX, CygWin,
+#       Darwin, MinGW, and NonStop.
+#
+#   (3) This script is generated from the Groovy template
+#       https://github.com/gradle/gradle/blob/HEAD/subprojects/plugins/src/main/resources/org/gradle/api/internal/plugins/unixStartScript.txt
+#       within the Gradle project.
+#
+#       You can find Gradle at https://github.com/gradle/gradle/.
+#
+##############################################################################
+
+# Attempt to set APP_HOME
+
+# Resolve links: $0 may be a link
+app_path=$0
+
+# Need this for daisy-chained symlinks.
+while
+    APP_HOME=${app_path%"${app_path##*/}"}  # leaves a trailing /; empty if no leading path
+    [ -h "$app_path" ]
+do
+    ls=$( ls -ld "$app_path" )
+    link=${ls#*' -> '}
+    case $link in             #(
+      /*)   app_path=$link ;; #(
+      *)    app_path=$APP_HOME$link ;;
+    esac
+done
+
+# This is normally unused
+# shellcheck disable=SC2034
+APP_BASE_NAME=${0##*/}
+# Discard cd standard output in case $CDPATH is set (https://github.com/gradle/gradle/issues/25036)
+APP_HOME=$( cd "${APP_HOME:-./}.." > /dev/null && pwd -P ) || exit
+
+# Use the maximum available, or set MAX_FD != -1 to use that value.
+MAX_FD=maximum
+
+warn () {
+    echo "$*"
+} >&2
+
+die () {
+    echo
+    echo "$*"
+    echo
+    exit 1
+} >&2
+
+# OS specific support (must be 'true' or 'false').
+cygwin=false
+msys=false
+darwin=false
+nonstop=false
+case "$( uname )" in                #(
+  CYGWIN* )         cygwin=true  ;; #(
+  Darwin* )         darwin=true  ;; #(
+  MSYS* | MINGW* )  msys=true    ;; #(
+  NONSTOP* )        nonstop=true ;;
+esac
+
+CLASSPATH=$APP_HOME/lib/quarkdown-1.5.1.jar:$APP_HOME/lib/quarkdown-cli.jar:$APP_HOME/lib/quarkdown-html.jar:$APP_HOME/lib/quarkdown-interaction.jar:$APP_HOME/lib/quarkdown-stdlib.jar:$APP_HOME/lib/quarkdown-core.jar:$APP_HOME/lib/quarkdown-libs.jar:$APP_HOME/lib/quarkdown-quarkdoc-reader.jar:$APP_HOME/lib/quarkdown-server.jar:$APP_HOME/lib/ktor-server-netty-jvm-3.1.2.jar:$APP_HOME/lib/ktor-server-websockets-jvm-3.1.2.jar:$APP_HOME/lib/ktor-server-core-jvm-3.1.2.jar:$APP_HOME/lib/kotlin-reflect-2.1.20.jar:$APP_HOME/lib/clikt-mordant-jvm.jar:$APP_HOME/lib/kotlin-csv-jvm-1.10.0.jar:$APP_HOME/lib/ktor-client-cio-jvm-3.1.2.jar:$APP_HOME/lib/ktor-client-core-jvm-3.1.2.jar:$APP_HOME/lib/kotlinx-coroutines-slf4j-1.10.1.jar:$APP_HOME/lib/ktor-websocket-serialization-jvm-3.1.2.jar:$APP_HOME/lib/ktor-serialization-jvm-3.1.2.jar:$APP_HOME/lib/ktor-websockets-jvm-3.1.2.jar:$APP_HOME/lib/ktor-http-cio-jvm-3.1.2.jar:$APP_HOME/lib/ktor-network-tls-jvm-3.1.2.jar:$APP_HOME/lib/ktor-http-jvm-3.1.2.jar:$APP_HOME/lib/ktor-events-jvm-3.1.2.jar:$APP_HOME/lib/ktor-sse-jvm-3.1.2.jar:$APP_HOME/lib/ktor-network-jvm-3.1.2.jar:$APP_HOME/lib/ktor-utils-jvm-3.1.2.jar:$APP_HOME/lib/ktor-io-jvm-3.1.2.jar:$APP_HOME/lib/kotlinx-coroutines-core-jvm-1.10.1.jar:$APP_HOME/lib/better-parse-jvm-0.4.4.jar:$APP_HOME/lib/mordant-omnibus-jvm.jar:$APP_HOME/lib/mordant-jvm-jna-jvm.jar:$APP_HOME/lib/mordant-jvm-ffm-jvm.jar:$APP_HOME/lib/mordant-jvm-graal-ffi-jvm.jar:$APP_HOME/lib/mordant-jvm.jar:$APP_HOME/lib/colormath-jvm.jar:$APP_HOME/lib/kotlin-stdlib-jdk8-1.8.0.jar:$APP_HOME/lib/clikt-jvm.jar:$APP_HOME/lib/kotlin-stdlib-jdk7-1.8.0.jar:$APP_HOME/lib/kotlinx-serialization-core-jvm-1.8.0.jar:$APP_HOME/lib/kotlinx-io-core-jvm-0.6.0.jar:$APP_HOME/lib/kotlinx-io-bytestring-jvm-0.6.0.jar:$APP_HOME/lib/kotlin-stdlib-2.1.20.jar:$APP_HOME/lib/annotations-23.0.0.jar:$APP_HOME/lib/directory-watcher-0.19.0.jar:$APP_HOME/lib/log4j-core-2.24.3.jar:$APP_HOME/lib/commons-text-1.13.0.jar:$APP_HOME/lib/romannumerals4j-0.0.1.jar:$APP_HOME/lib/jbibtex-1.0.20.jar:$APP_HOME/lib/jsoup-1.20.1.jar:$APP_HOME/lib/slf4j-simple-2.0.17.jar:$APP_HOME/lib/jna-5.16.0.jar:$APP_HOME/lib/slf4j-api-2.0.17.jar:$APP_HOME/lib/log4j-api-2.24.3.jar:$APP_HOME/lib/commons-lang3-3.17.0.jar:$APP_HOME/lib/netty-codec-http2-4.1.118.Final.jar:$APP_HOME/lib/alpn-api-1.1.3.v20160715.jar:$APP_HOME/lib/netty-transport-native-kqueue-4.1.118.Final.jar:$APP_HOME/lib/netty-transport-native-epoll-4.1.118.Final.jar:$APP_HOME/lib/netty-codec-http-4.1.118.Final.jar:$APP_HOME/lib/netty-handler-4.1.118.Final.jar:$APP_HOME/lib/netty-codec-4.1.118.Final.jar:$APP_HOME/lib/netty-transport-classes-kqueue-4.1.118.Final.jar:$APP_HOME/lib/netty-transport-classes-epoll-4.1.118.Final.jar:$APP_HOME/lib/netty-transport-native-unix-common-4.1.118.Final.jar:$APP_HOME/lib/netty-transport-4.1.118.Final.jar:$APP_HOME/lib/netty-buffer-4.1.118.Final.jar:$APP_HOME/lib/netty-resolver-4.1.118.Final.jar:$APP_HOME/lib/netty-common-4.1.118.Final.jar:$APP_HOME/lib/config-1.4.3.jar:$APP_HOME/lib/jansi-2.4.1.jar
+
+
+# Determine the Java command to use to start the JVM.
+if [ -n "$JAVA_HOME" ] ; then
+    if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
+        # IBM's JDK on AIX uses strange locations for the executables
+        JAVACMD=$JAVA_HOME/jre/sh/java
+    else
+        JAVACMD=$JAVA_HOME/bin/java
+    fi
+    if [ ! -x "$JAVACMD" ] ; then
+        die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+    fi
+else
+    JAVACMD=java
+    if ! command -v java >/dev/null 2>&1
+    then
+        die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+    fi
+fi
+
+# Increase the maximum file descriptors if we can.
+if ! "$cygwin" && ! "$darwin" && ! "$nonstop" ; then
+    case $MAX_FD in #(
+      max*)
+        # In POSIX sh, ulimit -H is undefined. That's why the result is checked to see if it worked.
+        # shellcheck disable=SC3045
+        MAX_FD=$( ulimit -H -n ) ||
+            warn "Could not query maximum file descriptor limit"
+    esac
+    case $MAX_FD in  #(
+      '' | soft) :;; #(
+      *)
+        # In POSIX sh, ulimit -n is undefined. That's why the result is checked to see if it worked.
+        # shellcheck disable=SC3045
+        ulimit -n "$MAX_FD" ||
+            warn "Could not set maximum file descriptor limit to $MAX_FD"
+    esac
+fi
+
+# Collect all arguments for the java command, stacking in reverse order:
+#   * args from the command line
+#   * the main class name
+#   * -classpath
+#   * -D...appname settings
+#   * --module-path (only if needed)
+#   * DEFAULT_JVM_OPTS, JAVA_OPTS, and QUARKDOWN_OPTS environment variables.
+
+# For Cygwin or MSYS, switch paths to Windows format before running java
+if "$cygwin" || "$msys" ; then
+    APP_HOME=$( cygpath --path --mixed "$APP_HOME" )
+    CLASSPATH=$( cygpath --path --mixed "$CLASSPATH" )
+
+    JAVACMD=$( cygpath --unix "$JAVACMD" )
+
+    # Now convert the arguments - kludge to limit ourselves to /bin/sh
+    for arg do
+        if
+            case $arg in                                #(
+              -*)   false ;;                            # don't mess with options #(
+              /?*)  t=${arg#/} t=/${t%%/*}              # looks like a POSIX filepath
+                    [ -e "$t" ] ;;                      #(
+              *)    false ;;
+            esac
+        then
+            arg=$( cygpath --path --ignore --mixed "$arg" )
+        fi
+        # Roll the args list around exactly as many times as the number of
+        # args, so each arg winds up back in the position where it started, but
+        # possibly modified.
+        #
+        # NB: a `for` loop captures its iteration list before it begins, so
+        # changing the positional parameters here affects neither the number of
+        # iterations, nor the values presented in `arg`.
+        shift                   # remove old arg
+        set -- "$@" "$arg"      # push replacement arg
+    done
+fi
+
+
+# Add default JVM options here. You can also use JAVA_OPTS and QUARKDOWN_OPTS to pass JVM options to this script.
+DEFAULT_JVM_OPTS=""
+
+# Collect all arguments for the java command;
+#   * $DEFAULT_JVM_OPTS, $JAVA_OPTS, and $QUARKDOWN_OPTS can contain fragments of
+#     shell script including quotes and variable substitutions, so put them in
+#     double quotes to make sure that they get re-expanded; and
+#   * put everything else in single quotes, so that it's not re-expanded.
+
+set -- \
+        -classpath "$CLASSPATH" \
+        com.quarkdown.cli.QuarkdownCliKt \
+        "$@"
+
+# Stop when "xargs" is not available.
+if ! command -v xargs >/dev/null 2>&1
+then
+    die "xargs is not available"
+fi
+
+# Use "xargs" to parse quoted args.
+#
+# With -n1 it outputs one arg per line, with the quotes and backslashes removed.
+#
+# In Bash we could simply go:
+#
+#   readarray ARGS < <( xargs -n1 <<<"$var" ) &&
+#   set -- "${ARGS[@]}" "$@"
+#
+# but POSIX shell has neither arrays nor command substitution, so instead we
+# post-process each arg (as a line of input to sed) to backslash-escape any
+# character that might be a shell metacharacter, then use eval to reverse
+# that process (while maintaining the separation between arguments), and wrap
+# the whole thing up as a single "set" statement.
+#
+# This will of course break if any of these variables contains a newline or
+# an unmatched quote.
+#
+
+eval "set -- $(
+        printf '%s\n' "$DEFAULT_JVM_OPTS $JAVA_OPTS $QUARKDOWN_OPTS" |
+        xargs -n1 |
+        sed ' s~[^-[:alnum:]+,./:=@_]~\\&~g; ' |
+        tr '\n' ' '
+    )" '"$@"'
+
+exec "$JAVACMD" "--enable-native-access=ALL-UNNAMED" "$@"

.bin/quarkdown/bin/quarkdown.bat

@@ -0,0 +1,92 @@
+@rem
+@rem Copyright 2015 the original author or authors.
+@rem
+@rem Licensed under the Apache License, Version 2.0 (the "License");
+@rem you may not use this file except in compliance with the License.
+@rem You may obtain a copy of the License at
+@rem
+@rem      https://www.apache.org/licenses/LICENSE-2.0
+@rem
+@rem Unless required by applicable law or agreed to in writing, software
+@rem distributed under the License is distributed on an "AS IS" BASIS,
+@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+@rem See the License for the specific language governing permissions and
+@rem limitations under the License.
+@rem
+
+@if "%DEBUG%"=="" @echo off
+@rem ##########################################################################
+@rem
+@rem  quarkdown startup script for Windows
+@rem
+@rem ##########################################################################
+
+@rem Set local scope for the variables with windows NT shell
+if "%OS%"=="Windows_NT" setlocal
+
+set DIRNAME=%~dp0
+if "%DIRNAME%"=="" set DIRNAME=.
+@rem This is normally unused
+set APP_BASE_NAME=%~n0
+set APP_HOME=%DIRNAME%..
+
+@rem Resolve any "." and ".." in APP_HOME to make it shorter.
+for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi
+
+@rem Add default JVM options here. You can also use JAVA_OPTS and QUARKDOWN_OPTS to pass JVM options to this script.
+set DEFAULT_JVM_OPTS=
+
+@rem Find java.exe
+if defined JAVA_HOME goto findJavaFromJavaHome
+
+set JAVA_EXE=java.exe
+%JAVA_EXE% -version >NUL 2>&1
+if %ERRORLEVEL% equ 0 goto execute
+
+echo.
+echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:findJavaFromJavaHome
+set JAVA_HOME=%JAVA_HOME:"=%
+set JAVA_EXE=%JAVA_HOME%/bin/java.exe
+
+if exist "%JAVA_EXE%" goto execute
+
+echo.
+echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:execute
+@rem Setup the command line
+
+set CLASSPATH=%APP_HOME%\lib\quarkdown-1.5.1.jar;%APP_HOME%\lib\quarkdown-cli.jar;%APP_HOME%\lib\quarkdown-html.jar;%APP_HOME%\lib\quarkdown-interaction.jar;%APP_HOME%\lib\quarkdown-stdlib.jar;%APP_HOME%\lib\quarkdown-core.jar;%APP_HOME%\lib\quarkdown-libs.jar;%APP_HOME%\lib\quarkdown-quarkdoc-reader.jar;%APP_HOME%\lib\quarkdown-server.jar;%APP_HOME%\lib\ktor-server-netty-jvm-3.1.2.jar;%APP_HOME%\lib\ktor-server-websockets-jvm-3.1.2.jar;%APP_HOME%\lib\ktor-server-core-jvm-3.1.2.jar;%APP_HOME%\lib\kotlin-reflect-2.1.20.jar;%APP_HOME%\lib\clikt-mordant-jvm.jar;%APP_HOME%\lib\kotlin-csv-jvm-1.10.0.jar;%APP_HOME%\lib\ktor-client-cio-jvm-3.1.2.jar;%APP_HOME%\lib\ktor-client-core-jvm-3.1.2.jar;%APP_HOME%\lib\kotlinx-coroutines-slf4j-1.10.1.jar;%APP_HOME%\lib\ktor-websocket-serialization-jvm-3.1.2.jar;%APP_HOME%\lib\ktor-serialization-jvm-3.1.2.jar;%APP_HOME%\lib\ktor-websockets-jvm-3.1.2.jar;%APP_HOME%\lib\ktor-http-cio-jvm-3.1.2.jar;%APP_HOME%\lib\ktor-network-tls-jvm-3.1.2.jar;%APP_HOME%\lib\ktor-http-jvm-3.1.2.jar;%APP_HOME%\lib\ktor-events-jvm-3.1.2.jar;%APP_HOME%\lib\ktor-sse-jvm-3.1.2.jar;%APP_HOME%\lib\ktor-network-jvm-3.1.2.jar;%APP_HOME%\lib\ktor-utils-jvm-3.1.2.jar;%APP_HOME%\lib\ktor-io-jvm-3.1.2.jar;%APP_HOME%\lib\kotlinx-coroutines-core-jvm-1.10.1.jar;%APP_HOME%\lib\better-parse-jvm-0.4.4.jar;%APP_HOME%\lib\mordant-omnibus-jvm.jar;%APP_HOME%\lib\mordant-jvm-jna-jvm.jar;%APP_HOME%\lib\mordant-jvm-ffm-jvm.jar;%APP_HOME%\lib\mordant-jvm-graal-ffi-jvm.jar;%APP_HOME%\lib\mordant-jvm.jar;%APP_HOME%\lib\colormath-jvm.jar;%APP_HOME%\lib\kotlin-stdlib-jdk8-1.8.0.jar;%APP_HOME%\lib\clikt-jvm.jar;%APP_HOME%\lib\kotlin-stdlib-jdk7-1.8.0.jar;%APP_HOME%\lib\kotlinx-serialization-core-jvm-1.8.0.jar;%APP_HOME%\lib\kotlinx-io-core-jvm-0.6.0.jar;%APP_HOME%\lib\kotlinx-io-bytestring-jvm-0.6.0.jar;%APP_HOME%\lib\kotlin-stdlib-2.1.20.jar;%APP_HOME%\lib\annotations-23.0.0.jar;%APP_HOME%\lib\directory-watcher-0.19.0.jar;%APP_HOME%\lib\log4j-core-2.24.3.jar;%APP_HOME%\lib\commons-text-1.13.0.jar;%APP_HOME%\lib\romannumerals4j-0.0.1.jar;%APP_HOME%\lib\jbibtex-1.0.20.jar;%APP_HOME%\lib\jsoup-1.20.1.jar;%APP_HOME%\lib\slf4j-simple-2.0.17.jar;%APP_HOME%\lib\jna-5.16.0.jar;%APP_HOME%\lib\slf4j-api-2.0.17.jar;%APP_HOME%\lib\log4j-api-2.24.3.jar;%APP_HOME%\lib\commons-lang3-3.17.0.jar;%APP_HOME%\lib\netty-codec-http2-4.1.118.Final.jar;%APP_HOME%\lib\alpn-api-1.1.3.v20160715.jar;%APP_HOME%\lib\netty-transport-native-kqueue-4.1.118.Final.jar;%APP_HOME%\lib\netty-transport-native-epoll-4.1.118.Final.jar;%APP_HOME%\lib\netty-codec-http-4.1.118.Final.jar;%APP_HOME%\lib\netty-handler-4.1.118.Final.jar;%APP_HOME%\lib\netty-codec-4.1.118.Final.jar;%APP_HOME%\lib\netty-transport-classes-kqueue-4.1.118.Final.jar;%APP_HOME%\lib\netty-transport-classes-epoll-4.1.118.Final.jar;%APP_HOME%\lib\netty-transport-native-unix-common-4.1.118.Final.jar;%APP_HOME%\lib\netty-transport-4.1.118.Final.jar;%APP_HOME%\lib\netty-buffer-4.1.118.Final.jar;%APP_HOME%\lib\netty-resolver-4.1.118.Final.jar;%APP_HOME%\lib\netty-common-4.1.118.Final.jar;%APP_HOME%\lib\config-1.4.3.jar;%APP_HOME%\lib\jansi-2.4.1.jar
+
+
+@rem Execute quarkdown
+"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %QUARKDOWN_OPTS%  -classpath "%CLASSPATH%" com.quarkdown.cli.QuarkdownCliKt %*
+
+:end
+@rem End local scope for the variables with windows NT shell
+if %ERRORLEVEL% equ 0 goto mainEnd
+
+:fail
+rem Set variable QUARKDOWN_EXIT_CONSOLE if you need the _script_ return code instead of
+rem the _cmd.exe /c_ return code!
+set EXIT_CODE=%ERRORLEVEL%
+if %EXIT_CODE% equ 0 set EXIT_CODE=1
+if not ""=="%QUARKDOWN_EXIT_CONSOLE%" exit %EXIT_CODE%
+exit /b %EXIT_CODE%
+
+:mainEnd
+if "%OS%"=="Windows_NT" endlocal
+
+:omega

.bin/quarkdown/lib/qmd/paper.qmd

@@ -0,0 +1,97 @@
+.localization {paper}
+    - English
+        - abstract: Abstract
+        - definition: Definition
+        - lemma: Lemma
+        - theorem: Theorem
+        - proof: Proof
+    - Italian
+        - abstract: Sommario
+        - definition: Definizione
+        - lemma: Lemma
+        - theorem: Teorema
+        - proof: Dimostrazione
+    - German
+        - abstract: Abstract
+        - definition: Definition
+        - lemma: Lemma
+        - theorem: Theorem
+        - proof: Beweis
+    - Japanese
+        - abstract: 抽象
+        - definition: 定義
+        - lemma: 補題
+        - theorem: 定理
+        - proof: 証明
+
+<!-- Alignment of the 'Abstract' title, relative to its body content -->
+
+.var {abstractalignment} {center}
+
+<!-- The suffix that follows the title of a block, e.g. "Definition", "Lemma", ... -->
+
+.var {paperblocksuffix} {\.}
+
+<!-- Content at the end of a proof block -->
+
+.var {proofend} {∎}
+
+<!-- An 'abstract' block -->
+
+.function {abstract}
+    content:
+    .container padding:{0 1cm} fullwidth:{yes}
+        .align {.abstractalignment}
+            ####! .localize {paper:abstract}
+
+        .container padding:{2mm 0}
+            .content
+
+    .whitespace
+
+<!-- Internal helper that builds a titled numerable block -->
+
+.function {namedparagraph}
+    name tag? content:
+    .numbered {.tag::otherwise {}}
+        number:
+        **.concatenate {
+            .name
+        } with:{
+            .string {" .number"}
+        } if:{
+            .isnotempty {.number}
+        }.paperblocksuffix** .content
+
+.function {INTERNALtypedparagraph}
+    type content:
+    .var {localizedname} {.localize {paper:.type}}
+    .var {numberingtag} {.concatenate {.type} {s}}
+    .namedparagraph {.localizedname} {.numberingtag} {.content}
+
+<-- A numerable 'definition' block -->
+
+.function {definition}
+    content:
+    .INTERNALtypedparagraph {definition} {.content}
+
+<-- A numerable 'lemma' block -->
+
+.function {lemma}
+    content:
+    .INTERNALtypedparagraph {lemma} {.content}
+
+<-- A numerable 'theorem' block -->
+
+.function {theorem}
+    content:
+    .INTERNALtypedparagraph {theorem} {.content}
+
+<-- A numerable 'proof' block -->
+
+.function {proof}
+    content:
+    .INTERNALtypedparagraph {proof} {.content}
+
+    .align {end}
+        .text {.proofend} size:{huge}

.config/Brewfile

@@ -36,7 +36,6 @@ brew "wget"
 brew "xdotool"
 brew "xprop"
 brew "xwininfo"
-cask "affine"
 cask "agent-tars"
 cask "alacritty"
 cask "alcove"
@@ -49,6 +48,7 @@ cask "clash-verge-rev"
 cask "coteditor"
 cask "cursor"
 cask "daisydisk"
+cask "discord"
 cask "dockdoor"
 cask "flutter"
 cask "font-fira-code"
@@ -79,7 +79,6 @@ cask "musescore"
 cask "navicat-premium-lite"
 cask "notion"
 cask "notion-calendar"
-cask "notion-mail"
 cask "obsidian"
 cask "omnidisksweeper"
 cask "only-switch"

.config/fish/completions/orbctl.fish

@@ -0,0 +1 @@
+/Applications/OrbStack.app/Contents/MacOS/../Resources/completions/fish/orbctl.fish

.config/fish/fish_variables

@@ -10,6 +10,7 @@ SETUVAR __fish_initialized:3800
 SETUVAR _fisher_jorgebucaran_2F_nvm_2E_fish_files:\x7e/\x2econfig/fish/functions/_nvm_index_update\x2efish\x1e\x7e/\x2econfig/fish/functions/_nvm_list\x2efish\x1e\x7e/\x2econfig/fish/functions/_nvm_version_activate\x2efish\x1e\x7e/\x2econfig/fish/functions/_nvm_version_deactivate\x2efish\x1e\x7e/\x2econfig/fish/functions/nvm\x2efish\x1e\x7e/\x2econfig/fish/conf\x2ed/nvm\x2efish\x1e\x7e/\x2econfig/fish/completions/nvm\x2efish
 SETUVAR _fisher_plugins:jorgebucaran/nvm\x2efish
 SETUVAR _fisher_upgraded_to_4_4:\x1d
+SETUVAR all_proxy:\x1d
 SETUVAR fish_color_autosuggestion:brblack
 SETUVAR fish_color_cancel:\x2dr
 SETUVAR fish_color_command:normal
@@ -38,7 +39,7 @@ SETUVAR fish_pager_color_description:yellow\x1e\x2di
 SETUVAR fish_pager_color_prefix:normal\x1e\x2d\x2dbold\x1e\x2d\x2dunderline
 SETUVAR fish_pager_color_progress:brwhite\x1e\x2d\x2dbackground\x3dcyan
 SETUVAR fish_pager_color_selected_background:\x2dr
-SETUVAR fish_user_paths:/opt/homebrew/sbin\x1e/opt/clash/bin\x1e/opt/homebrew/opt/mysql\x408\x2e4/bin\x1e/opt/homebrew/bin
+SETUVAR fish_user_paths:/opt/homebrew/opt/openjdk/bin\x1e/opt/homebrew/sbin\x1e/opt/clash/bin\x1e/opt/homebrew/opt/mysql\x408\x2e4/bin\x1e/opt/homebrew/bin
 SETUVAR pure_begin_prompt_with_current_directory:true
 SETUVAR pure_check_for_new_release:false
 SETUVAR pure_color_at_sign:pure_color_mute

.config/fish/functions/quarkdown.fish

@@ -0,0 +1,3 @@
+function quarkdown
+    command ~/.bin/quarkdown/bin/quarkdown $argv
+end

.ssh/config

@@ -18,6 +18,12 @@ Host g
 	User ubuntu
 	ServerAliveInterval 30
 
+Host hk
+	HostName 43.100.134.241
+	User root
 
+Host al
+	HostName 101.132.88.20
+	User root
 Host *
 	IdentityAgent "~/Library/Group Containers/2BUA8C4S2C.com.1password/t/agent.sock"

.ssh/known_hosts

@@ -16,3 +16,9 @@ suzgitex.eagle.local ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMYLIIUHcfd2hWVI2VQr1wD
 nas.local ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGrw1W1hB6yQ1VMbUthNH4b3yfNISDzHHiemAU3S3KlB
 nas ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGrw1W1hB6yQ1VMbUthNH4b3yfNISDzHHiemAU3S3KlB
 xxl.marsway.red ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIKPK7TJzKpzuwH39jLPIRWjA6FehyG4x3cQAZjyUm2hz
+43.100.134.241 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIFYCUwc2VnhkXZWStbG80XnFGQ9Oue2XLWnoDHa//Gjy
+43.100.134.241 ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABgQDR0Bu7aTw7R8cHhKp5rulI7A+4Hdin1P5ikjSCJi1Lr8gwo8fctdkTN4TTtn6ZwfrQs0IoS5qfODxMWQgYcuAi5swsgLtqlCZ9aTh8s/Yyp3hRMFsjQKE6MTHkhpiPc0w5c3Dh24mFaNinRBF2Jyz4YqL4BP2EHiAo9F5o6JrvSNYSudq1nCYdp5OqBCAc6zLQRIKpRfLo1BgM0Ac5ppbk3J65IaT1LzlENrbJSQMrHGTbmteVc2G+orw90lTyPrB+agZa0PP8Aq/2/CJskbzvCEHHoRStjnzEAvki9SK3gGobspe1Z6sgC7N5kd0+/s+2w9oPdAzcZO6tUa3NHPsRkrC2PPx+yLnBWtdwE/bXO6OntkX2j405xlBaCzUXg6EMQ9sjGo/MXZGBn4cZ9HoFuDFpXkx0G1bmV1i8EoUovWW277joWosQtqK2lF+0P8YtukqdrbN5UDXfbAJ/kbPs4OxqTJarhdyBvsHJMD07J914MbMc5zpuMqOlJNTZGfM=
+43.100.134.241 ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBOjVXUyYzwfNTdJORq82D5KuqdM4g7ps39pxLr7/9k7ULtyelI/TztyY2nur7oNWfK1fvJKZMsPWDhOW6+eb3FE=
+101.132.88.20 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIFaJObhWfq6Xsv7Reobi3c0Xzha7aQ8xCfJ2WHwbO74q
+101.132.88.20 ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABgQCc7t8YdvC5jE1pX0gjAIAS6WJHiFD1snN8CKEk36X4KMQOKkiqLeivJcp0FO/wME5PD5Urxdd/Ays87Rexp5q4pzVe91lwAOZ0aT2shZ4m6hKqcXwCAfeTo6Y6CkLSx3uguwMf2y8ahPvMH2edM8NBNbakXFc7QpW0y77HF/3IA4/RYCX/lNWtLGVK8GDpkd+qF9FjLC7hglKdU3I5cIZEVoO+2b2tdmzt8fnfc3E+U3vZ1OG7FzmogUc2OJfX3iwDN2q/UAb6CdkVsNnF87JKIhdfYctNjdU0vypdm2pbLYk5n+BogmvthtSk/TG7Ewc/6VOh9sxTSzpIXUKPMTGB17wEBMyth2voLdPf72MNX88FAvWpzC/C8eFo0JK/E2s/G4PgkZp6NApG4d6LDn+LRGu/Kq7j2ph8GgJ4DzV71G/JdL5Xjf8PhxIL6oy1dEjCzO9ZPuDpeMKxvvbbIWrndL7CtQ971NV1wJPKiOVYZYAgAv82/1UXQcFEDZx1jFc=
+101.132.88.20 ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBON+SErwMriPe85rzluQr6BMBD6Wa6J/mifwrs+I+S0iJCeB+1akOwWwt2prEem0IV/Q7Ig8eu+/BEQwzUDP4e4=

.ssh/known_hosts.old

@@ -1,13 +0,0 @@
-git.marsway.red ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIKPK7TJzKpzuwH39jLPIRWjA6FehyG4x3cQAZjyUm2hz
-git.marsway.red ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABgQC5/fWtABUpVHzqfRvboua05VDE4qgBJEzdbdk6dwVBvt7wnTXvrUueAVCoNiSZzx4BGbWziuBnXdLQ+70EKhE5/4M+fOe0o+sa6s9BTeDmhf1pwSkkkiBj2Kgo7GgGY7BbNPJ0peq36YEuExV7ns5Vz7bTOQ+K5E80Y20jsjRCrnExmSz4RQnz+QgwzfmLurRjiF8oRI5vIh2bOEQBrHX6IzyJcSUjNhRUxAXzYBCi1SdBT6G0QKM/uTd37W5xVFTma42l6uZhpU/mhqiW+UfymoJdn5uSb2GVYSashCa/a7Lr9IaRnEpNWWaUT4y72KeY/v+Skk8yLbbXl0ooUv1m+D+5SdYAjcl5WzHaKuJXE/Py6rUb8X3etMCR7lETSjSqL16Con7DawkeDrI25Re8paPQGUxl9t6IbFVEFtCskP7vhk3YLK3uhQFEIpTBPBx6tfAvCoPE6+8cbcZKJgb6cd2ipfdkpSFnTsYmYHKKXQooA+x5BIVPvlfekxDjU/k=
-git.marsway.red ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBB6vVbo5bRNjjLn0j8BUw3J6xd/TPDR4xgBrtZhCuHYvCACB7n3n5wXhAU/s148oVAqdQHEkDjwY+8g5PtG7P8s=
-e.coding.net ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDHOWdwLpkos2CLli6DFvQ36yQE6Pe/PtFp3XwyirfZCIoGWnedaWI8zkJWVCs0wgOB9/urFepTDfV2wN49KGy1sl2/CCDEH2K/zeoEAZlTcBrhU17bwg1yMHCyJ7IM+zdLzItDEKYjgoWqVdUGK1dXQQlwt7GP4W7HqffelQQoVxOMoZ5N50MzD+nvV4y8iq0KwDQNy62iU4hui9ajCSVUDLu/06ucd5IojSI9keRIYAXvQf52TJ5EbvoBggp9RhjuWNEG8IhnPP6rzPS11Ocmwg/HsP8xOKL28AeDBAh6B6MEBDtlyp5Yfu9cwZJ9CFtU/x5fHFPtANmgIphAfwN1
-192.168.31.150 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGrw1W1hB6yQ1VMbUthNH4b3yfNISDzHHiemAU3S3KlB
-192.168.31.150 ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABgQDFRSuJVjVlLa7tM1diB3xasMWfJbcnUQNY6D8UkUVOYvpFnE6Xka0x5SBivAbc+AvoZoSURoB4Ue6PA4Z8OBG2Y/TpJd22YwSp9iV9G1ormULt6yYVZAT/lgKR/+m3havhlZZKhBGgm7YGEt8R8bON6eH9FCeHcCF8tLsy5GUyO7QGS9HZsJcLTgzlAstdv7IQt6P5gwiVo4w2dr9LawyN06u/phSLGnthuU6cBC3kfL393DEL5m3nuuQp9GNnEVq+9iVi0LvLx0Ra/QPhu7EDnaTaSi/cUruJhfxXsdc2mWhzvU9wPpDsDjjJDPuKmy/+g+h2K4Rll7sjE8ap1LFanI5mVZKHSA4NFaZLYQ3l9Vid6d+42LjcUDB4QuWi7hArZlIakCiMbUXjnoWbVmRKl1ujukGKPUnRlKzjNVd0pNqjRz/Zr2TvhDo+GU8QfPJGqe/wfUaLV5xhfBOHPkOGfQJwUeB4v3JUnHY3sgZ+iNMYztXtiH4Md4AmmUoT7nM=
-192.168.31.150 ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBGRYzFDXKj/O3NadECVmcamUbZOUgGioHRMj09AXlE/qupfhwXEhG5igwFlzNsvoGUh9pU3bv/GS/Lz/VqvExwk=
-github.com ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOMqqnkVzrm0SdG6UOoqKLsabgH5C9okWi0dh2l9GKJl
-api ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICXyXL24LLKF0GAsVOAWqwkjza67AS4x9picZAynvRda
-api ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBGVxrb/8Sm0BkGjC/Ly/p2Zyao8Y/gTh0+EjyWeEwaiwFgwKDQ8O4j7i4Z07zNPZ/PdJKtwuWg4Rxm9UXqsTnp8=
-[127.0.0.1]:32222 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICAQkPegrt11dCS0Oy6nL3WaTzmdsUzXZjqytDS6Orig
-autops.eagle.local ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICXyXL24LLKF0GAsVOAWqwkjza67AS4x9picZAynvRda
-portal.eagle.local ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMYLIIUHcfd2hWVI2VQr1wDzHRgS8F5aRYE87uSn5fAV

.ssh/marsway.pem

@@ -0,0 +1,7 @@
+-----BEGIN OPENSSH PRIVATE KEY-----
+b3BlbnNzaC1rZXktdjEAAAAABG5vbmUAAAAEbm9uZQAAAAAAAAABAAAAMwAAAAtz
+c2gtZWQyNTUxOQAAACALTXc9mf5UvYgX0AY0pMDja4eAbtH3Z6cvM4VrPPnFTQAA
+AIiXOTNWlzkzVgAAAAtzc2gtZWQyNTUxOQAAACALTXc9mf5UvYgX0AY0pMDja4eA
+btH3Z6cvM4VrPPnFTQAAAEAwUQIBATAFBgMrZXAEIgQgg8hIeesAu7vbn99kHun9
+SQtNdz2Z/lS9iBfQBjSkwONrh4Bu0fdnpy8zhWs8+cVNAAAAAAECAwQF
+-----END OPENSSH PRIVATE KEY-----