This repository was archived by the owner on Oct 19, 2023. It is now read-only.

8 lines (5 loc) · 515 Bytes

`box`

Box is a dependently-typed programming language for Minecraft: Java Edition¹.

NOT OFFICIAL MINECRAFT PRODUCT. NOT APPROVED BY OR ASSOCIATED WITH MOJANG. ↩