Colobo或组合逻辑博洛尼亚的是一个框架,旨在帮助您测试和开发的组合逻辑为基础的语言。很明显,它的工作原理,K,S,I,组合逻辑。 您可以定义选择符和减少规则,它会提供一系列有用的工具。很明显,它的工作原理,K,S,I,组合逻辑。