equt

∀ P. ⟂ ⭢ P

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