Scribunto/Test

Hello, world! from The 3rd Arg-The FIRST ARGUMENT -THE 2nd ARG

$\pi$-Calculus

Math type setting instruction must be produced by the function

$\pi$-Calculus

Raw String

Scribunto/Test

Selector

$\pi$-Calculus

Multi-Argument

1 ,$\pi$ ,$\beta$-Calculus

Arithmetic

12 is the identity sum

Scribunto/Test