equt

∀ P. ⟂ ⭢ P

Joined crates-io 4 years ago. Joined GitHub 9 years ago.