commands.txt

*** verify new proof ---------------------------------------------------------------------------------------------------

metamath.exe "read set-check-new-proofs.mm" "verify proof new-asrt" exit

metamath.exe "read my-new-theorems.mm" "verify proof *" exit

metamath.exe "read my-new-theorems.mm" "verify proof my_task*" exit

*** deploy-worker ------------------------------------------------------------------------------------------------------

npx webpack --config webworker.webpack.config.js && copy /B /Y ".\dist\webworker-main.js" ".\public"

https://ss64.com/nt/copy.html
/B   Binary file copy - will copy extended characters.
/Y   Suppress confirmation prompt, when overwriting files.

------------------------------------------------------------------------------------------------------------------------
Migrate to Array.getUnsafe:
\[([^\[\]]+)\]
->Array.getUnsafe($1)

Array\.getUnsafe\(.+\)\.

curried:
(\(|,|=|\s|\})([a-zA-Z]*((ctx)|(Ctx))[a-zA-Z]*)->([a-zA-Z]+)(\)|,|\n|\})
(\(|,|=|\s)([a-zA-Z]*((tree)|(Tree))[a-zA-Z]*)->([a-zA-Z]+)(\)|,|\n|\})
------------------------------------------------------------------------------------------------------------------------