LambdaSki 简单的Lambda微积分到Ski编译器。 这是一个简单的程序，可将lambda演算表达式转换为sk组合器表达式。 需要构建Haskell平台和Megaparsec。 输出格式 可选参数用于确定输出格式，其中“ f”确定将调用项放在哪里，“ x”确定将自变量放在哪里。 例子： f(x)发出类似于s(k)(k) afx发出类似于aaskk输出 也可以在第二个和第三个参数示例中指定术语“ s”和“ k”： f(k) ab发出类似于a(b)(b) 语言 该语言有5种类型的