2 ms·
nit: the turnstile expressions ⊢ are swapped in the examples body :- head should be head ⊢ body
by nh23423fefe 3y ago
nit: the turnstile expressions ⊢ are swapped in the examples
body :- head should be
head ⊢ body
loading thread…
2 ms·