Testing math
\[\begin{align*}
P &\to (Q \to P) \\
(P \to (Q \to R)) &\to ((P \to Q) \to (P \to R)) \\
(\neg P \to \neg Q) &\to (Q \to P)
\end{align*}\]
Oh, have some Rust, too.
fn foo() {}
Oh, have some Rust, too.
fn foo() {}