Colobo或组合逻辑博洛尼亚的是一个框架,旨在帮助您测试和开发的组合逻辑为基础的语言。很明显,它的工作原理,K,S,I,组合逻辑。 您可以定义选择符和减少规则,它会提供一系列有用的工具。很明显,它的工作原理,K,S,I,组合逻辑。
上一个软件:Karaf 1.6.0
下一个软件:Apache菲利克斯登录1.0.0_Apache Felix Log 1.0.0