我不知道这个应用程序会有多大用处，但我对它感到好奇，因为这个C++回答了我的一个问题。 因此，给定，例如，三元和二进制，例如fg f x y z = x + 10*y + 100*z g x y ...

我正在尝试在 Haskell 中实现组合逻辑，目前正在编写一个函数步骤，它使用标准简化规则返回所有可能的一步缩减的列表。当在变量 S （S I） （K I） （S I K） I 上运行 step 函数...