I may be a tad late, but typst does have a compiler you can use locally with your favorite local text editor. https://github.com/typst/typst/releases
NASA’s Office of the Chief Heath and Medical Officer has published a number of technical briefs [0] that cover a variety of human spaceflight related risks and topics. In particular, they have one for carbon dioxide [1,…
At the risk of being snarky, I should certainly hope the output depends on the input. On a more serious note, there are quite reasonable properties that are satisfied by keeping the sign of the first argument as the…
> That's not how modulo arithmetic works. We should be a bit careful with what one means by "modulo arithmetic" here. If we are talking about arithmetic in Z/nZ (read "integers modulo n"), then the objects being acted…
As sibling comments have mentioned, "operator" here is being used in the programming language sense of the word, not the mathematical sense. Using the name "mod" [as in mod(a,n)] or "modulo" for the mapping that takes…
I may be a tad late, but typst does have a compiler you can use locally with your favorite local text editor. https://github.com/typst/typst/releases
NASA’s Office of the Chief Heath and Medical Officer has published a number of technical briefs [0] that cover a variety of human spaceflight related risks and topics. In particular, they have one for carbon dioxide [1,…
At the risk of being snarky, I should certainly hope the output depends on the input. On a more serious note, there are quite reasonable properties that are satisfied by keeping the sign of the first argument as the…
> That's not how modulo arithmetic works. We should be a bit careful with what one means by "modulo arithmetic" here. If we are talking about arithmetic in Z/nZ (read "integers modulo n"), then the objects being acted…
As sibling comments have mentioned, "operator" here is being used in the programming language sense of the word, not the mathematical sense. Using the name "mod" [as in mod(a,n)] or "modulo" for the mapping that takes…