文件名称：language-sal:SAL 模型生成器
文件大小：14KB
文件格式：ZIP
更新时间：2024-07-05 03:18:47
Haskell
语言萨尔 关于： 这个包是 Haskell 中的 SAL [1] 模型生成器。 目标是提供一种简洁的方法来指定和自动生成 SAL 中离散转换系统的模型。 这是一项非常早期的工作。 请稍后再回来查看。 目标： 表示任意 SAL 抽象语法树的 Haskell 数据类型 用于生成 SAL 规范的漂亮打印机 用于构建和组合 SAL 模块的轻量级语言 参考： [1]
【文件预览】：
language-sal-master
----.travis.yml(44B)
----language-sal.cabal(1KB)
----LICENSE(1KB)
----src()
--------Language()
----Setup.hs(46B)
----examples()
--------mutex.hs(2KB)
--------salmod.hs(769B)
----.gitignore(64B)
----README.md(679B)