带有 CLI 的 Polyhorn 库
作者: Tim van Elsloo. 所有者 Tim.
#1622 in 开发工具
180KB 3K SLoC
包含 (JAR 文件, 55KB) gradle-wrapper.jar
使与 Polyhorn 项目协同工作变得简单的 CLI。具体来说,CLI 负责构建、运行和分发使用 Polyhorn 编写的跨平台应用程序。
~23–36MB ~584K SLoC