box
所属分类：编程语言基础
开发工具：kotlin
文件大小：0KB
下载次数：0
上传日期：2023-08-04 06:50:35
上 传 者：
sh-1993
说明： 一种用于Minecraft的独立类型编程语言，
(A dependently-typed programming language for Minecraft,)
文件列表:
CITATION.cff (136, 2023-09-05)
LICENSE (1063, 2023-09-05)
build.gradle.kts (2357, 2023-09-05)
gradle/ (0, 2023-09-05)
gradle/wrapper/ (0, 2023-09-05)
gradle/wrapper/gradle-wrapper.jar (63375, 2023-09-05)
gradle/wrapper/gradle-wrapper.properties (250, 2023-09-05)
gradlew (8527, 2023-09-05)
gradlew.bat (2776, 2023-09-05)
packs/ (0, 2023-09-05)
packs/core/ (0, 2023-09-05)
packs/core/pack.json (302, 2023-09-05)
packs/core/src/ (0, 2023-09-05)
packs/core/src/bool.box (707, 2023-09-05)
packs/core/src/compound.box (0, 2023-09-05)
packs/core/src/f32.box (388, 2023-09-05)
packs/core/src/f64.box (399, 2023-09-05)
packs/core/src/i16.box (631, 2023-09-05)
packs/core/src/i32.box (2292, 2023-09-05)
packs/core/src/i32_array.box (0, 2023-09-05)
packs/core/src/i64.box (283, 2023-09-05)
packs/core/src/i64_array.box (0, 2023-09-05)
packs/core/src/i8.box (608, 2023-09-05)
packs/core/src/i8_array.box (0, 2023-09-05)
packs/core/src/list.box (0, 2023-09-05)
packs/core/src/prelude.box (250, 2023-09-05)
packs/core/src/wtf16.box (2967, 2023-09-05)
packs/pack/ (0, 2023-09-05)
packs/pack/pack.json (79, 2023-09-05)
... ...
# box
[](https://github.com/mcenv/box/actions/workflows/test.yml)
Box is a dependently-typed programming language for [Minecraft: Java Edition](https://www.minecraft.net/about-minecraft)[^1].
[^1]: NOT OFFICIAL MINECRAFT PRODUCT. NOT APPROVED BY OR ASSOCIATED WITH MOJANG.
近期下载者：
相关文件：
收藏者：