haskell-src-transformation：使用模式匹配到大小写表达式来转换具有定义的Haskell源

haskell-src转换 该工具已作为学士论文的一部分（由基尔大学的Malte Clement实施）实施，应视为原型的alpha版本。 Haskell转换为Haskell转换工具 这是将Haskell的不同语言功能转换成更简单的表达式的工具。 使用Wadlers算法编译模式匹配，将左侧的模式匹配转换为右侧的显式模式匹配。 使用Haskell报告中描述的语义，将守卫转换为case表达式。 完成部分定义的功能，以便不会发生模式不匹配。 文献资料 描述转换论文可以在发现LaTeX -directory。 资料库 存储库由两个目录组成 src包含项目的源代码 src/test包含已翻译以测试某些功能的模块 src/Examples包含两个模块，可与Application.hs模块一起用于本地调试，其中包含一个test function来与这些本地模块一起使用。 Examples包含一些使