#combinator #logic #defines #ski #min #combinatory #phi1

bluebird

一个定义组合逻辑中常见SKI组合子的库

3个版本 (破坏性)

0.3.0 2023年8月17日
0.2.0 2023年8月16日
0.1.0 2023年8月16日

#2 in #ski

MIT许可证

4KB

bluebird

bluebird是一个Rust库,它提供了来自组合逻辑的SKI组合子以及通常与这些组合子一起使用的常见一元和二元函数。它是C++ blackbird的精神等价物。

image

如何与Cargo一起使用

[dependencies]
bluebird = "0.3.0"

如何在您的crate中使用

use bluebird;

当前提供的组合子和函数

  • phi1!
  • _L_
  • _MAX_
  • _MIN_
  • _MUL_
  • _PLUS_
  • _R_

依赖项

~5KB