文件名称：maam:遵循AAM方法论的静态分析单子方法
文件大小：80KB
文件格式：ZIP
更新时间：2024-05-18 18:01:27
Haskell
建立和运行 我建议使用阴谋沙箱进行构建。 要初始化cabal沙箱（将位于当前目录中）并安装所需的依赖项，请运行： make sandbox 我的阴谋文件中没有包含依赖关系范围。 如果您在寻找合适的边界时遇到麻烦，请使用以下ghc和cabal软件包的版本。 base=4.7.0.2 Cabal=1.18.1.5 containers=0.5.5.1 directory=1.2.1.0 ghc=7.8.4 template-haskell=2.9.0.0 text=1.2.0.4 跑步 要运行该项目，并显示各种lambda-if示例的分析，请运行： make run 本自述文件的末尾包含示例输出。 互动（GHCI） 为了在ghci中支持我的自定义（格式良好和彩色的）漂亮打印，您需要首先初始化一些ghc标志文件： make init-flags 然后运行： ./ghci.sh 运行M
【文件预览】：
maam-master
----maam.cabal(3KB)
----.gitignore(159B)
----ghci.sh(137B)
----Setup.hs(46B)
----Makefile(386B)
----data()
--------lamif-src()
--------hask-src()
----.reload.ghci(31B)
----src()
--------Darkdown.hs(77B)
--------FP.hs(1KB)
--------All.hs(87B)
--------Lang()
--------MAAM.hs(151B)
--------FP()
--------MAAM()
----.travis.yml(3KB)
----LICENSE(1KB)
----EnvSetup.hs(2KB)
----.ghci(1024B)
----README.md(8KB)
----stack.yaml(59B)