#pragmatic

POI：Rust中的实用无点定理证明器助手
Poi: Pragmatic point-free theorem prover assistant in Rust(github.com)
2020-5-16 14:3
=Poi Reduce 0.2==有关详细信息，请键入`help`。>；AND[NOT]AND[NOT]OR(AND[NOT]=&gT；OR)。 在计算两个拼接列表的长度时，有一种更快的方法，那就是计算每个列表的长度并将其相加： >；(镜头。Concat)(a，b)(len·conat)(a，b)(len·c......