文件名称：mcl:Minecraft的研究语言
文件大小：7KB
文件格式：ZIP
更新时间：2024-04-22 15:17:51
language minecraft dependent-types Scala
mcl mcl是Minecraft的研究语言。 它在功能强大的类型系统上提供了效率和表现力。
【文件预览】：
mcl-main
----LICENSE(1KB)
----src()
--------main()
----build.sbt(150B)
----.gitignore(55B)
----project()
--------plugins.sbt(53B)
--------build.properties(18B)
----README.md(122B)
----.gitattributes(12B)