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…
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…